[Cuis-dev] Annotations and other minor tweaks

[Luciano Notarfrancesco]

Forgot to attach the change set... :)

On Wed, May 27, 2020 at 4:09 PM Luciano Notarfrancesco <luchiano at gmail.com>
wrote:

> This change set includes some annotation tweaks, for example it avoids
> printing extra spaces or separators, and uses always the little circle as
> separator. It also includes a preferences to show annotations independent
> of optionalButtons (I've found out that I don't use very much the optional
> buttons so I want to have the extra screen real estate, but I need the
> annotations), and a new shortcut (z) for reverting to the selected version
> in the versions browser.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20200527/1d241c08/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AnnotationsTweaks.cs.st
Type: application/octet-stream
Size: 15244 bytes
Desc: not available
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20200527/1d241c08/attachment-0001.obj>