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
6a528d3978
New debugger
2015-08-16 07:53:28 -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
67afaa5bce
Fixed USING: (again)
2015-08-16 07:53:27 -07:00
09f68f7a98
Traceback and Walker now use the new labeled gadget
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
265a855217
Common margins for all panes
...
(Is this the right place to put it?)
2015-08-16 07:53:26 -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
1371cb4090
Margins
...
Margins increased in the listener and status bar.
2015-08-16 07:53:25 -07:00
1fcf96cada
factor: remove """ string syntax for now. there are HEREDOC:, STRING:, escaping \", and something else soon.
2015-07-25 22:59:56 -07:00
117727d444
parser, source-files: you need to bootstrap after this patch.
...
cleans up some file vs path naming.
file -> current-source-file
file -> current-test-file somewhere else
source-file -> path>source-file
source-file-tuple -> source-file
2015-07-23 22:03:43 -07:00
5eec781b40
use ``if*`` instead of ``dup [ ] [ drop ] if``.
2015-07-20 22:24:30 -07:00
Björn Lindqvist
John Benediktsson
nicolas-p
Doug Coleman