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

Make { wrap-margin f } in a style work

darcs
slava 2006-07-09 22:03:43 +00:00
parent 81e5fd2c9e
commit f7871d7055
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
library/ui/gadgets/presentations.factor
View File

@ -55,8 +55,10 @@ M: object-button gadget-help ( button -- string )
: apply-wrap-style ( style pane -- style pane ) : apply-wrap-style ( style pane -- style pane )
wrap-margin [ wrap-margin [
2dup <paragraph> swap set-pane-prototype [
<paragraph> over set-pane-current 2dup <paragraph> swap set-pane-prototype
<paragraph> over set-pane-current
] when*
] apply-style ; ] apply-style ;
: apply-border-width-style ( style gadget -- style gadget ) : apply-border-width-style ( style gadget -- style gadget )