ui.clipboards: adding a gadget-copy-all.
parent
aa0f7d0f72
commit
73bc2bbbd1
|
@ -37,6 +37,9 @@ SYMBOL: selection
|
|||
[ 2drop ]
|
||||
if ;
|
||||
|
||||
: gadget-copy-all ( gadget clipboard -- )
|
||||
[ [ gadget-text ] keep ] dip copy-clipboard ;
|
||||
|
||||
: com-copy ( gadget -- ) clipboard get gadget-copy ;
|
||||
|
||||
: com-copy-selection ( gadget -- ) selection get gadget-copy ;
|
||||
|
|
Loading…
Reference in New Issue