]> gitweb.factorcode.org Git - factor.git/commitdiff
New inspector
authornicolas-p <z.nicolas@gmail.com>
Tue, 21 Jul 2015 19:11:42 +0000 (21:11 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 14:53:28 +0000 (07:53 -0700)
basis/ui/tools/inspector/inspector.factor

index 2f2775548358a94cd1307f544c77799a82ac0959..cb8ec1a30de395f3247ae8b3938579066b996ef7 100644 (file)
@@ -5,7 +5,8 @@ colors.constants models.arrow prettyprint sequences mirrors assocs
 classes io io.styles arrays hashtables math.order sorting refs fonts
 ui.tools.browser ui.commands ui.operations ui.gadgets ui.gadgets.panes
 ui.gadgets.scrollers ui.gadgets.slots ui.gadgets.tracks ui.gestures
-ui.gadgets.buttons ui.gadgets.tables ui.gadgets.status-bar
+ui.gadgets.buttons ui.gadgets.lines ui.gadgets.tables 
+ui.gadgets.toolbar ui.gadgets.status-bar
 ui.gadgets.labeled ui.tools.common ui combinators ui.gadgets.worlds ;
 IN: ui.tools.inspector
 
@@ -81,13 +82,12 @@ M: hashtable make-slot-descriptions
         40 >>max-cols ;
 
 : <inspector-gadget> ( model -- gadget )
-    vertical inspector-gadget new-track
-        { 3 3 } >>gap
+    vertical inspector-gadget new-track with-lines
         add-toolbar
         swap >>model
         dup model>> <inspector-table> >>table
-        dup model>> <summary-gadget> "Object" <labeled-gadget> f track-add
-        dup table>> <scroller> "Contents" <labeled-gadget> 1 track-add ;
+        dup model>> <summary-gadget> margins white-interior "Object" <labeled-gadget> f track-add
+        dup table>> <scroller> white-interior "Contents" <labeled-gadget> 1 track-add ;
 
 M: inspector-gadget focusable-child*
     table>> ;