ui.gadgets.buttons: don't show message if no shortcut assigned
parent
6d1e4947e8
commit
c4c6c6b986
|
@ -229,8 +229,8 @@ PRIVATE>
|
||||||
: command-button-quot ( target command -- quot )
|
: command-button-quot ( target command -- quot )
|
||||||
'[ _ _ invoke-command ] ;
|
'[ _ _ invoke-command ] ;
|
||||||
|
|
||||||
: gesture>tooltip ( gesture -- str )
|
: gesture>tooltip ( gesture -- str/f )
|
||||||
[ gesture>string "Shortcut: " prepend ] [ "Shortcut Unassigned" ] if* ;
|
dup [ gesture>string "Shortcut: " prepend ] when ;
|
||||||
|
|
||||||
: <command-button> ( target gesture command -- button )
|
: <command-button> ( target gesture command -- button )
|
||||||
swapd [ command-name swap ] keep command-button-quot
|
swapd [ command-name swap ] keep command-button-quot
|
||||||
|
|
Loading…
Reference in New Issue