ui.gadgets.buttons: use hide-status on button-leave.
parent
c0670893b3
commit
6767928091
|
@ -40,7 +40,7 @@ PRIVATE>
|
|||
dup dup tooltip>> [ swap show-status ] [ drop ] if* button-update ;
|
||||
|
||||
: button-leave ( button -- )
|
||||
dup "" swap show-status button-update ;
|
||||
[ hide-status ] [ button-update ] bi ;
|
||||
|
||||
: button-clicked ( button -- )
|
||||
[ ]
|
||||
|
|
Loading…
Reference in New Issue