get-selection-visible in pasteboard%
Returns whether selection dots are drawn around the edge
of selected snips in the pasteboard. By default, selection
dots are on. See also
set-selection-visible.
get-selection-visible in pasteboard%
Returns whether selection dots are drawn around the edge
of selected snips in the pasteboard. By default, selection
dots are on. See also
set-selection-visible.