2db2f0eaa0
*-docs: remove extra spaces from the end of various topics
2016-06-22 11:27:26 -07: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
6149bf5afc
ui.tools.debugger: set theme fonts on table...
...
Probably this should be in the table gadget itself and not scattered everywhere.
2016-05-11 18:37:07 -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
f650f7d869
Added listener styles in theme switching
2016-05-09 21:40:56 -07:00
072f8e2625
Set text color almost everywhere
2016-05-09 21:40:56 -07:00
e5698281fb
Replaced hard-coded colors with constants
2016-05-09 21:40:56 -07:00
f7d92e4712
ui.tools.listener: fix introduction font sizes.
...
(should be smaller than default-style)
2016-04-29 18:30:59 -07:00
686975ec29
ui.tools.listener: only wait up to 5 seconds for the listener to start
...
otherwise unit tests can wait forever if there is an error in listener-thread
2015-11-27 13:15:17 +01:00
c773ce6463
ui.tools.listener: revert the commit that added UP/DOWN keybindings to
...
cycle history
2015-10-30 02:18:08 +01:00
705e2b8d4b
ui.tools.listener: only recall if the lexer-error is aborted ( #375 )
2015-10-28 16:31:13 +01:00
f2f7fd0b94
ui.tools.listener: recall the last command on parse errors
2015-10-23 17:59:04 +02:00
5f6ec2ba8b
ui.tools.listener.tests: fix tests, manifest needs to be set and vocab used
2015-10-22 23:33:46 +02:00
ff118771ae
ui.tools.listener: call interactor-finish before try-parse #375
...
Also changes the parse error handling in try-parse. If a parse error
occurs it is wrapped in a small quotation to defer handling it until the
quotation is ran.
2015-10-22 18:02:35 +02:00
d15c5bced4
ui.tools.listener: tried to simplify stream-read-quot and handle-interactive
2015-10-22 18:02:35 +02:00
c0d1d2f331
ui.*: a little more ui docs
2015-10-15 16:27:15 +02:00
420ca29795
ui.tools.listener: make it so up/down arrows can be used for history
...
cycling
It's how it works in most CLIs so it's nice if it works in Factor too.
2015-10-14 03:05:16 +02:00
e477f6996f
Fix comments to be ! not #!.
2015-09-08 16:15:10 -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
2a7cc29693
ui.tools.walker: improved status text
2015-08-16 07:54:45 -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
23a1174e81
Fixed USING in slots and deploy
2015-08-16 07:53:33 -07:00
40c6e04128
Fixed USING:
2015-08-16 07:53:32 -07:00
279795dbfd
Red/orange/green thread status in Walker
...
John did most of the work
2015-08-16 07:53:32 -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
f240f189e1
Improved contents table in Inspector
2015-08-16 07:53:31 -07:00
f4e8511c0a
Fixed compatibility issue with labeled gadget
2015-08-16 07:53:31 -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
359b42ab15
Removed ui.gadgets.lines
...
with-lines moves to ui.tools.common, white-interior moves to
ui.gadgets.colors
2015-08-16 07:53:29 -07:00
ea40508cd9
New error-list
2015-08-16 07:53:29 -07:00
d0b4f7d9a3
Using ui.gadgets.colors everywhere
2015-08-16 07:53:29 -07:00
d3b27e44b4
Actual colours for labeled gadgets
2015-08-16 07:53:28 -07:00
5ebf88bc0c
Fixed USING: in debugger
2015-08-16 07:53:28 -07:00
c195efbdff
New inspector
2015-08-16 07:53:28 -07:00
30091bee91
White interior and margins in Traceback
2015-08-16 07:53:28 -07:00
Alexander Iljin
John Benediktsson
nicolas-p
Björn Lindqvist