fd801e7946
ui.tools.listener: protect vocab completion from bad vocab names.
2016-09-15 15:00:24 -07:00
ee621f8a3e
ui.tools-docs: fix description of the context menu behavior
2016-08-10 19:42:20 -07:00
48bd0d2b66
ui.tools.*: fix swapped argument order for set-tool-dim
2016-07-30 19:03:23 +02:00
9ba5419bef
ui.tools.*: new docs
2016-07-30 19:03:22 +02:00
e73337fe55
ui.tools.common: it's nicer to store the tool dims as word properties
2016-07-30 19:03:22 +02:00
2fd5654473
Add EOL at EOF for all authors.txt files for consistency
...
In some instances replaced CR/LF with LF.
2016-07-30 09:25:30 -07:00
ccbde89968
vocabs.loader: one vocab-exists? word.
2016-07-16 16:21:45 -07:00
1ce733ef72
ui: some more dark theme polish.
2016-07-16 10:16:29 -07:00
8d077a96ad
using [ ... ] [ drop ] if* instead of dup [ ... ] [ 2drop ] if.
2016-07-11 21:01:03 -07:00
55cf5472a5
using [ ] [ ... ] ?if instead of [ nip ] [ ... ] if*.
2016-07-11 19:50:37 -07:00
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
John Benediktsson
Alexander Iljin
Björn Lindqvist
nicolas-p