2f2cb869f1
Revert Unnecessary Changes
2019-08-10 22:12:52 +09:00
bada736a3f
Input Completion Improvements
2019-08-10 22:02:17 +09:00
97b848a045
ui: Fix circular dependency.
2019-07-30 02:12:41 -05:00
b83435c9a9
cocoa inline input using IM
2019-07-30 02:12:41 -05:00
f84cfc7209
Revert "ui.gadgets.labeled: flat colour on windows because of the gradient bug"
...
This reverts commit b81a5f9c7a
2019-06-08 18:47:41 +02:00
a3b439047f
Revert "ui.gadgets.labeled: separate title-bar-interior with a comment why."
...
This reverts commit cb575c1ba8
2019-06-08 18:47:41 +02:00
7ad6784911
Revert "ui.gadgets.buttons: workaround for windows gradient bug"
...
This reverts commit 20a663ab0b
2019-06-08 18:47:41 +02:00
b246c06345
ui.gadgets.frames: default filled-cell to { 0 0 }.
2018-09-12 07:01:23 -07:00
7a248c0cda
actually remove caret-color slot
2018-09-07 10:02:25 -07:00
7c383a52ba
make the caret color themeable
2018-09-07 10:02:25 -07:00
0637557cca
*-docs: remove extra space character at the end of paragraghs
2018-08-21 10:45:52 -07:00
60fddddc0d
ui.gadgets.sliders: prevent negative elevator-length.
2018-03-22 10:01:14 -07:00
52de821e19
ui.gadgets.worlds: rethrow error so traceback is more obvious.
2018-02-16 16:19:51 -08:00
ca03896d74
more test IN: cleanup.
2018-02-15 09:20:01 -08:00
7d628b833d
fix some typos in docs.
2018-02-12 16:22:49 -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
cf5d0b349c
ui.gadgets.editors-docs: fix a typo
2018-01-22 07:58:17 -08:00
07e6e5e949
ui.gadgets.worlds: don't need world with-variable.
...
with-gl-context already does world set-global.
2018-01-19 15:09:27 -08:00
001ea5f6b4
ui.gadgets.worlds: revert back to 1 track-add.
2018-01-19 09:18:49 -08:00
b0ded020ea
ui.gadgets.worlds: use constraints for single gadget in window.
2018-01-18 21:30:34 -08:00
1d751e7e12
ui.gadgets.worlds: world-attributes can specify fill and orientation.
2018-01-18 21:14:24 -08:00
78c31ada9e
ui.*: doc updates
2018-01-18 16:48:35 +01:00
1c7c2a380c
ui.gadgets.panes.tests: better than hardcoding values
2018-01-17 19:40:48 +01:00
53951c4ade
ui.gadgets.labeled: Fix a random failing unit test.
2017-12-09 04:02:11 -06:00
c22e55ce48
ui.gadgets.slots: move to ui.tools.inspector.slots.
2017-10-25 16:17:08 -07:00
c2c879c999
ui.gadgets: remove dependence on ui.tools.common.
2017-10-25 15:56:40 -07:00
59af2ae3d7
ui.gadgets.slots: use with-lines like other tools.
2017-10-25 15:48:20 -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
b28bb90167
docs: fix models-range article link.
2017-10-25 14:59:57 -07:00
5b4339e429
ui: use (poorly named) white-interior theme word in a few places.
2017-10-25 13:57:35 -07:00
0b47618cb7
ui.gadgets.search-tables: change search-tables to use default-text.
2017-10-24 10:05:23 -07:00
02d6c8df1f
ui.gadgets.editors: allow all editors to have default text.
2017-10-24 10:05:09 -07:00
3aac5a6591
ui: more docs and tests
2017-06-27 23:47:35 +02:00
fe41e99437
ui: better handling of cascading errors
...
The second update-ui is wrapped in a recover so that if it fails
again, the UI system is stopped. That should fix the cascade problem
in #1827 .
2017-06-27 23:47:35 +02:00
f2a8a79a1a
basis/,extra/: removing some unnecessary EXCLUDE declarations
2017-06-24 16:38:34 +02:00
5cc07a1c5f
ui.gadgets.panes-docs: add a missing parenthesis
2017-06-21 12:36:32 +03:00
24a071d6e6
ui.gadgets-docs: fix wording
2017-06-21 12:35:37 +03:00
3bd0776630
ui.gadgets.line-support: even though 1/.0 parses, change to 1/0.
2017-06-12 07:28:33 -07: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
2ffa446f5b
*-docs: replace double spaces with single spaces
...
Code examples and other places where multiple spaces were used to align
text were left intact.
2017-06-05 13:16:07 -07:00
e189954ecc
core: Rename iota to <iota> so we can have TUPLE: iota ... ; instead of TUPLE: iota-tuple ... ;
2017-06-02 11:57:05 -05:00
7c7bb93c55
factor: Rename GENERIC# to GENERIC#:.
...
Fixes #1670 .
2017-06-01 13:58:58 -05:00
c1d33065ad
editors: added pref-dim* for action-editor
2017-05-29 08:08:21 -07:00
20a663ab0b
ui.gadgets.buttons: workaround for windows gradient bug
2017-03-14 17:26:19 -07:00
55834faba7
slots: added margins
2017-02-14 13:49:30 -08:00
f7ce76aa4b
wrap: remove line-ideal, we only ever use a max-width.
2017-02-01 20:30:57 -08:00
1c9909cd76
ui.gadgets.slots: removing unnecessary tuples.
2016-12-31 18:54:18 -08:00
6cb3e313d9
dlists,http,ui.gadgets.*: nicer formatting of tuples
2016-11-30 16:36:25 +01:00
5f38ec1a4a
ui.gadgets.scrollers: minor cleanup using if*.
2016-11-02 11:00:23 -07:00
kusumotonorio
Doug Coleman
KUSUMOTO Norio
nicolas-p
John Benediktsson
Alexander Iljin
Pi
Björn Lindqvist