ui: some more dark theme polish.

char-rename
John Benediktsson 2016-07-16 10:16:29 -07:00
parent e8a9582400
commit 1ce733ef72
2 changed files with 4 additions and 4 deletions

View File

@ -3,7 +3,7 @@
USING: accessors eval kernel math.vectors parser prettyprint USING: accessors eval kernel math.vectors parser prettyprint
refs sequences ui.commands ui.gadgets ui.gadgets.editors refs sequences ui.commands ui.gadgets ui.gadgets.editors
ui.gadgets.scrollers ui.gadgets.toolbar ui.gadgets.tracks ui.gadgets.scrollers ui.gadgets.toolbar ui.gadgets.tracks
ui.gestures ; ui.gestures ui.tools.common ;
IN: ui.gadgets.slots IN: ui.gadgets.slots
TUPLE: update-object ; TUPLE: update-object ;
@ -68,7 +68,7 @@ TUPLE: slot-editor < track ref close-hook update-hook text ;
add-toolbar add-toolbar
<source-editor> >>text <source-editor> >>text
dup text>> <scroller> 1 track-add dup text>> <scroller> 1 track-add
dup revert ; dup revert white-interior ;
M: slot-editor pref-dim* call-next-method { 600 200 } vmin ; M: slot-editor pref-dim* call-next-method { 600 200 } vmin ;

View File

@ -5,7 +5,7 @@ tools.deploy.config.editor tools.deploy vocabs namespaces
models.mapping sequences system accessors fry ui.gadgets ui.render models.mapping sequences system accessors fry ui.gadgets ui.render
ui.gadgets.packs ui.gadgets.labels ui.gadgets.editors ui.gadgets.borders ui.gadgets.buttons ui.gadgets.toolbar ui.gestures ui.commands assocs ui.gadgets.packs ui.gadgets.labels ui.gadgets.editors ui.gadgets.borders ui.gadgets.buttons ui.gadgets.toolbar ui.gestures ui.commands assocs
ui.gadgets.tracks ui ui.tools.listener ui.tools.browser ui.gadgets.tracks ui ui.tools.listener ui.tools.browser
ui.gadgets.worlds ; ui.tools.common ui.gadgets.worlds ;
IN: ui.tools.deploy IN: ui.tools.deploy
TUPLE: deploy-gadget < pack vocab settings ; TUPLE: deploy-gadget < pack vocab settings ;
@ -110,7 +110,7 @@ deploy-gadget "toolbar" f {
: deploy-tool ( vocab -- ) : deploy-tool ( vocab -- )
vocab-name vocab-name
[ <deploy-gadget> { 10 10 } <border> ] [ <deploy-gadget> { 10 10 } <border> white-interior ]
[ [
<world-attributes> <world-attributes>
swap "Deploying “" "”" surround >>title swap "Deploying “" "”" surround >>title