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 |
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
|
ca03896d74
|
more test IN: cleanup.
|
2018-02-15 09:20:01 -08:00 |
|
Alexander Iljin
|
cf5d0b349c
|
ui.gadgets.editors-docs: fix a typo
|
2018-01-22 07:58:17 -08: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
|
f2a8a79a1a
|
basis/,extra/: removing some unnecessary EXCLUDE declarations
|
2017-06-24 16:38:34 +02: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 |
nicolas-p
|
c1d33065ad
|
editors: added pref-dim* for action-editor
|
2017-05-29 08:08:21 -07:00 |
|
John Benediktsson
|
dcae1baad5
|
Revert "ui.gadgets.editors: add editor-constrained-dim function to editor"
This reverts commit 16381beddc.
|
2016-08-22 07:53:08 -07:00 |
|
John Benediktsson
|
fdcbf0d110
|
Revert "ui.gadgets.editors: remove extra spaces."
This reverts commit 7a4e345f6c.
|
2016-08-22 07:53:08 -07:00 |
|
Björn Lindqvist
|
351838fcff
|
ui.gadgets.*: updated docs and new tests
As mentioned on the mailing list, the editor class doesn't have a color
slot.
|
2016-08-22 14:22:28 +02:00 |
|
John Benediktsson
|
7a4e345f6c
|
ui.gadgets.editors: remove extra spaces.
|
2016-08-21 21:41:08 -07:00 |
masweeney
|
16381beddc
|
ui.gadgets.editors: add editor-constrained-dim function to editor
This function allows the calculation of dimensions with respect
to min/max-row/column values.
|
2016-08-21 21:40:27 -07:00 |
|
nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
e5698281fb
|
Replaced hard-coded colors with constants
|
2016-05-09 21:40:56 -07:00 |
|
John Benediktsson
|
498285d7dd
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
|
John Benediktsson
|
ff880262cb
|
ui.gadgets.editors: make it easier to set and get default-text.
|
2015-08-16 14:29:21 -07:00 |
|
John Benediktsson
|
f24444e990
|
ui.gadgets.editors: allow action-fields to have a default text.
|
2015-08-16 13:45:16 -07:00 |
|
John Benediktsson
|
66f6416d34
|
ui: add some $quotation help.
|
2015-07-18 10:57:37 -07:00 |
|
Doug Coleman
|
892c62e1dc
|
factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test
|
2015-07-03 09:39:59 -07:00 |
|
Doug Coleman
|
59f3b1ea57
|
Revert "factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!"
Needs a bit more work.
This reverts commit 7e54cc2824.
|
2015-07-02 13:47:06 -07:00 |
|
Doug Coleman
|
7e54cc2824
|
factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!
|
2015-07-02 11:36:08 -07:00 |
|
Doug Coleman
|
999aa7c897
|
factor: clean up spaces in -tests files
|
2015-07-02 10:34:01 -07:00 |
|
Doug Coleman
|
352e5de16a
|
core, basis, extra: Remove DOS line endings from files.
Remove whitespace from end of lines.
Add a newline to the end of each file.
|
2015-06-29 17:25:40 -07:00 |
Mark Green
|
fe2c2d23de
|
Adding help for <model-field> and <action-field>.
|
2015-02-21 18:39:04 -08:00 |
|
John Benediktsson
|
14b3261bef
|
ui: cleanup some using lists.
|
2015-01-29 11:41:18 -08:00 |
|
John Benediktsson
|
98935b7f15
|
docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.
|
2014-05-18 20:09:10 -07:00 |
|
John Benediktsson
|
a46bcfe85c
|
ui.gadgets.editors: fix stack effect of change-caret quotation.
|
2012-12-28 17:01:32 -08:00 |
|
Doug Coleman
|
1a5f2ad961
|
ui.backend.gtk: Save the clipboard to the global clipboard so that it doesn't get deleted when Factor exits. Fixes #548. Add paste-selection, but commented out for now.
|
2012-10-29 10:56:34 -07:00 |
|
John Benediktsson
|
d616f4779e
|
ui.gadgets.editors: adding delete-to-start-of-document and delete-to-end-of-document.
|
2012-05-04 18:38:12 -07:00 |
Slava Pestov
|
4c3c4f177b
|
ui.gadgets.editors: fix wonky word names. Fixes #277
|
2011-10-29 15:27:27 -07:00 |
|
Slava Pestov
|
0285de7e7d
|
Revert "ui.gadgets.editors: implement Ctrl-A/E/K to be more compatible."
This reverts commit 6a096a1e71.
|
2011-10-29 15:27:27 -07:00 |
|
Slava Pestov
|
d212b18be3
|
Revert "ui.gadgets.editors: windows doesn't work like macosx."
This reverts commit cf1d12ce78.
|
2011-10-29 15:27:27 -07:00 |
|
John Benediktsson
|
a625197ba5
|
ui.gadgets.editors: windows doesn't work like macosx.
|
2011-10-19 09:42:12 -07:00 |
|
John Benediktsson
|
8d15fb1021
|
ui.gadgets.editors: implement Ctrl-A/E/K to be more compatible.
|
2011-10-18 11:38:08 -07:00 |
|
John Benediktsson
|
81714b8dc3
|
More lint cleanups.
|
2011-10-16 19:33:16 -07:00 |
|
John Benediktsson
|
98f7d2530d
|
ui.gadgets.editors: simplify private word.
|
2011-09-25 11:43:53 -07:00 |
Erik Charlebois
|
019224348b
|
Only do mouse selections for button 1
|
2011-05-23 23:36:14 -04:00 |
|
Doug Coleman
|
a6f0abb9a2
|
Rename alarms -> timers
|
2010-06-10 16:39:13 -05:00 |
|
Doug Coleman
|
3a7f9c3947
|
Use restart-alarm for ui blink code
|
2010-05-24 22:59:25 -05:00 |
|
Doug Coleman
|
54ce8be408
|
Delay the cursor blink
|
2010-05-23 22:26:46 -05:00 |
|
Doug Coleman
|
e75b85de30
|
Update code base for new alarms api
|
2010-05-21 20:42:12 -05:00 |
Slava Pestov
|
daed64d8b4
|
ui.gadgets.worlds: support S+DELETE as an alternative shortcut for cut-action
|
2010-02-20 12:24:25 +13:00 |
|
Slava Pestov
|
0612bc6177
|
Factor source files should not be executable
|
2009-11-21 17:50:43 -06:00 |
|
Slava Pestov
|
08e7d25dc5
|
change-each -> map!, deep-change-each -> deep-map!
|
2009-10-27 22:32:56 -05:00 |