steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Move editor-theme word to the right place

slava 2006-07-20 00:39:41 +00:00
parent 2d697ff73a
commit 10bbfc3d5f
2 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
library/ui/gadgets/theme.factor
View File

@ -7,6 +7,12 @@ IN: gadgets-labels
DEFER: set-label-color
DEFER: set-label-font
IN: gadgets-text
DEFER: set-editor-color
DEFER: set-editor-caret-color
DEFER: set-editor-selection-color
DEFER: set-editor-font
IN: gadgets-theme
USING: arrays gadgets kernel sequences styles ;
@ -87,9 +93,11 @@ USING: arrays gadgets kernel sequences styles ;
{ 0.0 0.0 0.0 1.0 } over set-label-color
{ "monospace" plain 12 } swap set-label-font ;
: editor-theme ( gadget -- )
{ 0.0 0.0 0.0 1.0 } over set-label-color
{ "monospace" bold 12 } swap set-label-font ;
: editor-theme ( editor -- )
{ 0.0 0.0 0.0 1.0 } over set-editor-color
{ 1.0 0.0 0.0 1.0 } over set-editor-caret-color
{ 0.8 0.8 1.0 1.0 } over set-editor-selection-color
{ "monospace" plain 12 } swap set-editor-font ;
: highlight-theme ( gadget -- )
T{ solid f { 0.8 0.8 0.8 1.0 } } swap set-gadget-interior ;

6
library/ui/text/editor.factor
View File

@ -12,12 +12,6 @@ font color caret-color selection-color
caret mark
focused? ;
: editor-theme ( editor -- )
{ 0.0 0.0 0.0 1.0 } over set-editor-color
{ 1.0 0.0 0.0 1.0 } over set-editor-caret-color
{ 0.8 0.8 1.0 1.0 } over set-editor-selection-color
{ "monospace" plain 12 } swap set-editor-font ;
TUPLE: action-relayout-1 editor ;
M: action-relayout-1 model-changed