ui.gadgets.buttons: don't show 'Shortcut' message if there is a gesture but its not a key gesture
parent
cceae875ad
commit
d662acb299
|
@ -233,7 +233,7 @@ PRIVATE>
|
||||||
'[ _ _ invoke-command ] ;
|
'[ _ _ invoke-command ] ;
|
||||||
|
|
||||||
: gesture>tooltip ( gesture -- str/f )
|
: gesture>tooltip ( gesture -- str/f )
|
||||||
dup [ gesture>string "Shortcut: " prepend ] when ;
|
gesture>string dup [ "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