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

UI fixes

slava 2006-09-24 19:28:27 +00:00
parent 1614670834
commit ae5768fee3
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/ui/gadgets/viewports.factor
View File

@ -8,7 +8,7 @@ TUPLE: viewport ;
: find-viewport [ viewport? ] find-parent ;
: viewport-dim gadget-child pref-dim ;
: viewport-dim ( viewport -- dim ) gadget-child pref-dim ;
C: viewport ( content -- viewport )
dup delegate>gadget

2
library/ui/tools/workspace.factor
View File

@ -83,7 +83,7 @@ workspace "Scrolling primary pane" {
workspace "Tool switching commands" {
{ "Listener" T{ key-down f f "F2" } [ listener-gadget select-tool ] }
{ "Messages" T{ key-down f f "F3" } [ listener-gadget select-tool ] }
{ "Messages" T{ key-down f f "F3" } [ messages select-tool ] }
{ "Definitions" T{ key-down f f "F4" } [ browser select-tool ] }
{ "Documentation" T{ key-down f f "F5" } [ help-gadget select-tool ] }
{ "Walker" T{ key-down f f "F6" } [ walker-gadget select-tool ] }