UI fixes
parent
3921584818
commit
1a0ecb755a
|
|
@ -25,7 +25,7 @@ SYMBOL: edit-hook
|
||||||
first2 edit-location
|
first2 edit-location
|
||||||
] [
|
] [
|
||||||
"Not from a source file" throw
|
"Not from a source file" throw
|
||||||
] if ;
|
] if* ;
|
||||||
|
|
||||||
GENERIC: synopsis ( defspec -- )
|
GENERIC: synopsis ( defspec -- )
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -150,7 +150,7 @@ C: titled-gadget ( gadget title -- )
|
||||||
|
|
||||||
: gadget-info ( gadget -- )
|
: gadget-info ( gadget -- )
|
||||||
"Gadget: " write
|
"Gadget: " write
|
||||||
[ unparse-short ] keep write-object terpri ;
|
[ class word-name ] keep write-object terpri ;
|
||||||
|
|
||||||
: commands. ( gadget -- )
|
: commands. ( gadget -- )
|
||||||
dup gadget-info
|
dup gadget-info
|
||||||
|
|
@ -163,8 +163,7 @@ C: titled-gadget ( gadget title -- )
|
||||||
>r make-pane <scroller> r> open-titled-window ;
|
>r make-pane <scroller> r> open-titled-window ;
|
||||||
|
|
||||||
: commands-window ( gadget -- )
|
: commands-window ( gadget -- )
|
||||||
[ commands. ]
|
[ commands. ] "Commands" pane-window ;
|
||||||
"Commands" pane-window ;
|
|
||||||
|
|
||||||
gadget {
|
gadget {
|
||||||
{ f "Keyboard help" T{ key-down f { C+ } "1" } [ commands-window ] }
|
{ f "Keyboard help" T{ key-down f { C+ } "1" } [ commands-window ] }
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue