On the Options tab, check "Quick Edit Mode". Then if you highlight text, you can put it on the clipboard with just Enter.

Copyright 2015-2024 Luke A. Call | OM Home
Contact (won't put you on a mailing list): comments@onemodel.org (but for replies see the mailing lists)
(Content generated selectively from a OneModel instance.)