Commit Graph

777 Commits (revert-2214-feature-commandline-documentation)

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