UI fixes

diff --git a/library/ui/gadgets/viewports.factor b/library/ui/gadgets/viewports.factor
index cc646bc353f00834e96f362e59273fbc0c906758..3eddc99ec20961cc69de6f9b8fccf371ce5c75e6 100644 (file)
--- a/library/ui/gadgets/viewports.factor
+++ b/library/ui/gadgets/viewports.factor
@@ -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

diff --git a/library/ui/tools/workspace.factor b/library/ui/tools/workspace.factor
index 6c3efd04f7e46348fbc4d078856d9c12c47163eb..1aa2d79e6c6fa5719435f045c820e7f7de26b473 100644 (file)
--- a/library/ui/tools/workspace.factor
+++ b/library/ui/tools/workspace.factor
@@ -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 ] }