KUSUMOTO Norio
|
b83435c9a9
|
cocoa inline input using IM
|
2019-07-30 02:12:41 -05: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 |
Alexander Iljin
|
cf5d0b349c
|
ui.gadgets.editors-docs: fix a typo
|
2018-01-22 07:58:17 -08: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 |
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
|
66f6416d34
|
ui: add some $quotation help.
|
2015-07-18 10:57:37 -07:00 |
Mark Green
|
fe2c2d23de
|
Adding help for <model-field> and <action-field>.
|
2015-02-21 18:39:04 -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 |
Keith Lazuka
|
405e5d015b
|
docs: change $subsection to $subsections
|
2009-10-02 12:15:48 -04:00 |
Slava Pestov
|
637d06a4f8
|
Add silly 'tip of the day' feature, and 'recently visited' list to UI browser home page
|
2009-03-24 04:11:08 -05:00 |
Slava Pestov
|
dcbb5bc692
|
Implement gesture>string for actions
|
2009-02-21 16:42:57 -06:00 |
Slava Pestov
|
58e55d4f45
|
Working on documentation
|
2009-02-19 16:54:27 -06:00 |
Slava Pestov
|
990c99a97e
|
Add foreground and background color slots to font tuple
|
2009-01-30 03:36:39 -06:00 |
Slava Pestov
|
50ba37bdbe
|
Update more documentation
|
2009-01-28 14:54:13 -06:00 |
Slava Pestov
|
0c22751674
|
Update editor docs
|
2009-01-28 14:50:15 -06:00 |
Slava Pestov
|
bb27511753
|
Fixing code for first-class fonts
|
2009-01-26 02:21:28 -06:00 |
Slava Pestov
|
4f5a927afb
|
Move UI text backends to ui.text.*, move UI backends to ui.backend.*, add font datatype
|
2009-01-26 00:36:37 -06:00 |
Slava Pestov
|
2bb6d7f6b1
|
Rename editor-caret* and editor-mark* without the * since we don't have the old accessors anymore
|
2009-01-15 15:50:48 -06:00 |
Slava Pestov
|
632b21159d
|
Mention multiline editor commands in editor docs
|
2009-01-08 18:56:20 -06:00 |
Slava Pestov
|
bdaa5eac31
|
Minor UI documentation updates
|
2009-01-06 23:30:08 -06:00 |
Slava Pestov
|
5fff1bdf05
|
Clean up ui.gadgets.menus, improve docs, ad add right-click menus to panes and editors with clipboard commands
|
2008-11-30 15:03:05 -06:00 |
Slava Pestov
|
9bf63b1613
|
New $quotation markup element
|
2008-11-16 09:03:30 -06:00 |
Slava Pestov
|
c19f2257f4
|
Fix permission bits
|
2008-10-02 08:34:49 -05:00 |
Eduardo Cavazos
|
7a75d2e070
|
Update old accessors from 'ui.gadgets.editors'
|
2008-08-30 20:06:45 -05:00 |
Eduardo Cavazos
|
7402cd2ab7
|
Move 'ui' to basis
|
2008-08-07 21:12:50 -05:00 |