c6f634d6a6
ui.tools.listener: re-order emacs keybinding docs.
2020-06-08 11:39:41 -07:00
35681032d9
ui.tools.listener: change previous/next line to multiline-editor.
2020-06-06 16:47:30 -07:00
02386eebcc
ui.tools.listener: document emacs-style keybindings for now.
2020-06-06 16:28:40 -07:00
4f51adf8bf
Revert "ui: better support for Emacs-style key bindings."
...
This reverts commit 928b4c6abc
2020-06-06 16:20:21 -07:00
43c2ffead2
Revert "ui.tools: change Alt- to Ctrl-Shift- for tools."
...
This reverts commit 9c3908e003
2020-06-06 16:19:43 -07:00
9c3908e003
ui.tools: change Alt- to Ctrl-Shift- for tools.
2020-05-29 14:59:45 -07:00
928b4c6abc
ui: better support for Emacs-style key bindings.
...
This changes a bunch of things like Ctrl-E for edit becomes Alt-E
(Cmd-E on macOS). I think that's overall nicer, but let's play with it.
2020-05-27 19:49:30 -07:00
d0a694a7fe
ui.gadgets.tables: change hook>> to be called on all row-actions.
...
Not just when a selected-row was available and action>> was called.
Also, call the hook after the action, not before.
2020-05-27 09:59:42 -07:00
da8a378b38
ui.tools.error-list: changing icons from tiff to png.
2020-05-21 17:31:41 -07:00
27c9792108
ui.images: load 1x or 2x graphics.
2020-05-19 19:00:25 -07:00
fd4ddf588f
ui: update more icons, including ui.tools.error-list.
2020-05-19 09:46:43 -07:00
6aa7d52473
ui.tools.browser: use unicode next/prev arrows.
2020-02-26 09:22:48 -08:00
e0e58a62c5
ui.tools.browser: change $navigation to not use title-style.
2020-02-19 21:47:01 -08:00
fa31902975
ui.tools.error-list: adding table header emphasis.
2020-02-19 21:47:01 -08:00
2e5cec428a
help.markup: adding a $slots word to document slots, use it.
2020-02-16 22:36:19 -08:00
f651c8fd9a
ui.gadgets.pane: rename pane-clear to clear-pane.
2020-02-16 19:17:29 -08:00
69849bc925
ui.tools.listener: better future-proofing with code-completion class.
2019-11-07 09:57:21 -08:00
17aa52f51c
ui.tools.listener: handle history-completion popup differently.
2019-11-06 12:16:19 -08:00
972fa0fbab
ui.tools.listener: close completion-popup when completion-mode changes.
2019-11-06 09:29:31 -08:00
447e30ad41
ui.tools.listener: use ?first.
2019-03-16 20:33:16 -07:00
d9df9fc3cc
ui.tools.inspector: string inspection shows characters.
2018-12-30 12:51:10 -08:00
dc25fe3688
ui.tools.listener: minor cleanup to completion stuff.
2018-08-01 21:08:43 -07:00
ca03896d74
more test IN: cleanup.
2018-02-15 09:20:01 -08:00
35591cc13b
fix couple more typos in docs.
2018-02-13 11:44:32 -08:00
9c22098dec
ui.gadgets.labeled: make <labeled-gadget> not take a color.
...
This allows backwards compatibility with 0.97 API. Adding
<colored-labeled-gadget> for a version with a colored divider
and implementing it with a gap between title bar and content
intead of a shelf border gadget.
2018-02-11 09:53:48 -08:00
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
John Benediktsson
Alexander Iljin
Björn Lindqvist
Doug Coleman