7f37709c04
ui.tools.listener: implement vocab-word-completions.
2018-01-24 17:11:26 -08:00
d4a849b192
ui.tools-docs: add a pointer to the file-drop gesture docs
2018-01-22 13:09:41 -08:00
2ad605b9c7
ui.tools.listener: support file-drop gesture
...
The array of dropped file names is pushed onto the listener's stack.
2018-01-22 13:09:41 -08:00
603728b181
ui.tools.browser: adding back/forward to touchbar.
2018-01-22 10:46:50 -08:00
fb9c3920ae
ui.tools: enable touchbar commands.
2018-01-01 16:00:19 -08:00
c22e55ce48
ui.gadgets.slots: move to ui.tools.inspector.slots.
2017-10-25 16:17:08 -07:00
b90f37b13e
ui.tools.common: only save tool-dim when not fullscreen.
2017-10-25 16:16:53 -07:00
e376724aa8
ui.gadgets.search-tables: remove slot-protocol.
...
... too much complexity for not enough gain, I think.
2017-10-25 15:41:23 -07:00
d1f5282c6d
ui.gadgets.labeled: cleanup labeled-gadget words.
2017-10-25 15:00:22 -07:00
5b4339e429
ui: use (poorly named) white-interior theme word in a few places.
2017-10-25 13:57:35 -07:00
10d5d471fe
tools.errors.model: remove in favor of ui.tools.error-list.
2017-10-25 12:42:33 -07:00
c3354c3167
ui.tools.deploy: cleanup using.
2017-10-24 11:32:35 -07:00
021e595c58
ui.tools.listener: change to just reset line-height so it can be recomputed lazily when needed.
2017-10-16 11:24:40 -07:00
6de6cb687f
ui.tools.listener: update interactor's line-height in set-listener-font
2017-10-16 10:28:10 -07:00
522eb559e4
ui.tools: setting the initial tool dim as a multiple of the default font
2017-06-30 22:47:11 +02:00
3aac5a6591
ui: more docs and tests
2017-06-27 23:47:35 +02:00
e8cef24486
ui.tools.inspector: improve performance for large arrays and hashtables.
...
Using trick suggested by @AlexIljin, we compute the longest key and then
set the column widths to be { length-of-longest-key 0 }.
2017-06-11 08:59:45 -07:00
7c7bb93c55
factor: Rename GENERIC# to GENERIC#:.
...
Fixes #1670 .
2017-06-01 13:58:58 -05:00
72e6699279
ui.tools.listener-docs: wrap a hotkey in the $snippet tag
2017-05-14 20:04:39 -07:00
96a0c30baf
ui.backend: adding ui-stop-after-last-window?.
...
This defaults to true, except for the "ui.tools". Also, this only
works on macOS right now. Linux and Windows always stop after the
last window closes.
2017-03-05 14:51:33 -08:00
1c9909cd76
ui.gadgets.slots: removing unnecessary tuples.
2016-12-31 18:54:18 -08:00
7d92217551
ui.tools.operations: making "See" an operation on words.
2016-11-09 15:39:59 -08:00
4f2a1a2e4e
ui.tools.listener: make all call-listener use with-ctrl-break.
2016-11-02 11:04:52 -07:00
17aa171ccf
ui.tools.listener-docs: add TIP: about the Ctrl-Break feature
2016-11-01 16:53:01 -07:00
2e49ffe6bd
ui.tools: make refresh-all command interruptible with Ctrl-Break
2016-11-01 16:53:01 -07:00
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
John Benediktsson
Alexander Iljin
Björn Lindqvist
Doug Coleman
nicolas-p