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

slots: added margins

char-rename
nicolas-p 2017-02-14 19:55:52 +01:00 committed by John Benediktsson
parent 9ab0e5d6f8
commit 55834faba7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/gadgets/slots/slots.factor
View File

@ -61,7 +61,7 @@ TUPLE: slot-editor < track ref close-hook update-hook text ;
swap >>close-hook
add-toolbar
<source-editor> >>text
dup text>> <scroller> 1 track-add
dup text>> margins <scroller> 1 track-add
dup revert white-interior ;
M: slot-editor pref-dim* call-next-method { 600 200 } vmin ;