Re: [MSEide-MSEgui-talk] Cosmetic: bookmarks in editor gutter could be improved

[fredvs]

Hello Graeme.

Thanks to the big majority of positive votes for your propositions, it was
committed it in 8b44425.
https://github.com/mse-org/mseide-msegui/commit/

To resume:
New bookmark icons and position. 
Added Ctrl+Q shortcut to quit application.
Added Shift+Ctrl+N to set all bookmarks to none (remove all).

Fre;D



--
Sent from: http://mseide-msegui-talk.13964.n8.nabble.com/


___
mseide-msegui-talk mailing list
mseide-msegui-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mseide-msegui-talk

Re: [MSEide-MSEgui-talk] Cosmetic: bookmarks in editor gutter could be improved

[Graeme Geldenhuys]

On 19/01/2020 7:33 pm, fredvs wrote:
>  
> 
> I vote to use it for MSEide too.

Either of the two bookmark samples you showed looks much better than the
current one. So go with whatever sample you think looks best.  :-)

Regards,
  Graeme



___
mseide-msegui-talk mailing list
mseide-msegui-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mseide-msegui-talk