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 |
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 |
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 |
|
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
|
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 |
|
John Benediktsson
|
14b3261bef
|
ui: cleanup some using lists.
|
2015-01-29 11:41:18 -08: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 |
|
Slava Pestov
|
08b683de61
|
ui.gadgets.editors: fix com-join-lines if there are more than two lines in the editor
|
2009-10-19 22:46:46 -05:00 |
|
Doug Coleman
|
3460383cda
|
fix indentation, revert [ ] [ ] bi -> [ ] keep when second quotation consumes more than one object
|
2009-10-05 18:33:24 -05:00 |
|
Doug Coleman
|
a273cbb68e
|
fully clean up gadgets.editors
|
2009-10-04 17:23:23 -05:00 |
|
Doug Coleman
|
41e6c8f3be
|
cleaning up some ui code
|
2009-10-04 16:43:00 -05:00 |
|
Doug Coleman
|
3f3d57032b
|
Delete empty unit tests files, remove 1- and 1+, reorder IN: lines in a lot of places, minor refactoring
|
2009-08-13 19:21:44 -05:00 |
|
Slava Pestov
|
fb6df472a2
|
Cleaning up USING: lists for new strict semantics
|
2009-05-14 16:54:16 -05:00 |
|
Slava Pestov
|
37e5d502f1
|
Fix shift-drag losing focus in listener
|
2009-04-06 13:39:55 -05:00 |
|
Slava Pestov
|
bae7923594
|
Fix more cosmetic issues
|
2009-04-03 19:50:46 -05:00 |
|
Slava Pestov
|
3bf5d2bfd4
|
Implement image tesselation in image.tesselation. This is used by opengl.textures to break up large bitmaps into multiple smaller textures. The gl-rect and gl-fill-rect words have different stack effects now, so usages were updated.
|
2009-03-27 18:31:25 -05:00 |
|
Doug Coleman
|
ebaf05f26b
|
Fix clipboard bugs
|
2009-03-19 17:36:38 -05:00 |
|
Slava Pestov
|
be4fb1e7d9
|
Move call( and execute( to core
|
2009-03-16 20:11:36 -05:00 |