48bd0d2b66
ui.tools.*: fix swapped argument order for set-tool-dim
2016-07-30 19:03:23 +02:00
d5e5589da8
browser: trim whitespace from query before search.
...
This behavior is consistent with the apropos word.
Should have been done in e4bf5f10
2016-05-22 07:54:53 -07:00
59e3cf93b7
ui.gadgets.theme: rename to ui.theme.images.
2016-05-22 07:53:21 -07:00
ff2f58ac4b
ui.theme.switching: default font colors.
2016-05-22 07:53:21 -07:00
63410f62c8
ui.theme: updates to color scheme.
...
Fixes circularity and adds theme switching to Mac menu.
Could use some simplification and reduction in color theme hooks.
2016-05-09 21:40:56 -07:00
7a028977c4
Moved both themes into ui.theme
2016-05-09 21:40:56 -07:00
072f8e2625
Set text color almost everywhere
2016-05-09 21:40:56 -07:00
ff880262cb
ui.gadgets.editors: make it easier to set and get default-text.
2015-08-16 14:29:21 -07:00
6de244da44
ui.tools.browser: use default-text to make search box prettier.
2015-08-16 13:45:29 -07:00
f3608deb63
ui.tools.browser: better to remove page-color than change it.
2015-08-16 12:58:38 -07:00
7dd0acbf0f
help.stylesheet: add back page-color and override in ui.tools.browser.
2015-08-16 12:54:56 -07:00
81cbf71d27
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
2015-08-16 11:33:24 -07:00
bfbab98d57
ui.tools.browser: remove spacer for right now...
...
...until we have the text-within-empty-label thing fixed it gives
us a little more space to type into.
2015-08-16 10:22:11 -07:00
bfb81f67cf
ui.tools.browser: navigation fix
2015-08-16 07:54:16 -07:00
1817a4b8cb
Refactored prev/next buttons code
2015-08-16 07:54:16 -07:00
bf2b829846
ui.gadgets.colors moved to ui.gadgets.theme
2015-08-16 07:53:33 -07:00
61552d2901
Simplified toolbar code
2015-08-16 07:53:32 -07:00
883d7e09d9
Other small adjustment in browser toolbar
2015-08-16 07:53:32 -07:00
32ae5da655
Small adjustments in browser toolbar
2015-08-16 07:53:32 -07:00
e66910c3bd
Centring prev/next links in Browser
2015-08-16 07:53:30 -07:00
0bdeb0c60f
Prev/next buttons in Browser
2015-08-16 07:53:30 -07:00
c8b63fa4b0
Fixed USING:
2015-08-16 07:53:30 -07:00
844da3fdfd
ui.tools.browser: using format-toolbar
2015-08-16 07:53:29 -07:00
d0b4f7d9a3
Using ui.gadgets.colors everywhere
2015-08-16 07:53:29 -07:00
a35924d1a8
Move vivid colour in Browser header
...
To go with the green header in the Walker.
2015-08-16 07:53:27 -07:00
06fa803cca
Fixed USING:
2015-08-16 07:53:27 -07:00
38447c276a
Restoring the "add-" prefix
2015-08-16 07:53:27 -07:00
249bd99400
Toolbar, lines and margins used in listener and browser
2015-08-16 07:53:27 -07:00
ae9b9b59eb
Use colour constants
2015-08-16 07:53:25 -07:00
376eb20f8b
Browser improvements
...
Browser with a unified toolbar and a header that is always visible. The
prev/next buttons are moved to the bottom of the page.
2015-08-16 07:53:25 -07:00
1a3522f20d
Revert "ui.tools.browser: one browser to rule them all."
...
This reverts commit 178c8c27e8
2014-12-17 17:38:14 -08:00
178c8c27e8
ui.tools.browser: one browser to rule them all.
2014-12-17 17:32:20 -08:00
f6af1da32f
ui: use control-value/set-control-value in a few places.
2014-12-17 13:05:00 -08:00
8033741135
io/ui: slim down the USE: list
2014-10-24 17:33:27 -07:00
6e037ee256
ui.tools.browser: Remove dialog-window attribute from help browser. The window has enough content to merit a panel in a tiling window manager, and this attribute forces the window to always be in front on GTK, which is annoying.
2014-08-05 11:35:49 -07:00
68446b047b
ui: Rename floating-window to dialog-window as per @bjourne's suggestion. Related to #1026 .
2014-08-05 10:03:17 -07:00
fdcc33acee
ui: Fix floating-window implementation for Windows/Mac. We need floating-window defined in the hashtables, as well as adding it /in addition to/ the existing flags.
2014-07-16 14:38:50 -05:00
57cdc841c3
ui: Add a floating-window window-contol for opening floating windows in a tiling window manager on gtk. Use this style on the help browser, inspector, and deploy windows. Please report any other windows that need this flag since I don't regularly use a tiling window manager. Tested on Ubuntu 14.04 64bit with i3 window manager. Fixes #1026 .
2014-07-16 02:26:52 -07:00
c0c769a7d8
compiler.units: changing definitions-changed to use a set.
2013-03-10 09:11:18 -07:00
1ee1a793de
ui.tools.browser: fix stack effect name.
2012-08-17 10:13:44 -07:00
bf86504c1a
ui.tools.browser: Support resize on + and _.
2012-08-07 14:46:09 -07:00
f94853c8b7
ui.tools.browser: adding +/- font size commands.
2012-08-07 12:28:45 -07:00
efbdf222a7
issue #358 : Finish renaming <apropos> to <apropos-search>
2012-06-21 08:35:44 -07:00
f9257959fd
Rename class to class-of
2011-10-24 06:47:42 -05:00
26872ffe4d
Rename vocab to lookup-vocab
2011-10-24 06:42:54 -05:00
b4c621d902
Make browser windows larger by default
2009-10-24 16:21:38 -05:00
d08e10bff6
link to the glossary from the help browser toolbar
2009-10-24 15:47:23 -05:00
474e02020c
use 1&& in a few places, clean up some more ui code
2009-10-04 17:50:34 -05:00
9159ce74ab
ui.tools.browser: don't scroll up when reloading page
2009-09-08 16:23:12 -05:00
3fb75247b2
Applied ui-tweaks patchset.
...
- prettyprinter now does syntax highlighting of Factor code
- added a prettyprinter.stylesheet vocab
- text shadow character style for formatted streams
- text shadow for labels
- toolbar buttons display keyboard shortcut in status bar rather than in the button title
- changed some colors in help.stylesheet to match the colors in Factor's scrollbars and border-buttons
- changed status bar color to match the dark blue in Factor's scrollbars
- added some internal padding to the browser gadget to give the article content some breathing room
NOTE: I removed the "pane" slot from browser-gadget. The slot was never used (at least in my image), and now that the browser-gadget's help-pane is wrapped by a "border" gadget, the slot name would be misleading.
2009-09-08 13:30:30 -04:00
Björn Lindqvist
Alexander Iljin
John Benediktsson
nicolas-p
Doug Coleman
Joe Groff
Slava Pestov
Keith Lazuka