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

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 non

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

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. :-) Regar

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

Re_hello. OK, reversed the position of bookmark icons, it looks better, imho. It was committed in ideU, I wait for the vote for MSEide. Fre;D -- Sent from: http://mseide-msegui-talk.13964.n8.nabble.com/ ___

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

> Also in the case of (1), it is rendered to the left and not 100% centred. Yes, it is because it can be a bookmark icon and a watchpoint at the same line. What can easy be done is to invert the position (left watchpoint, right bookmark) but centered will be a problem if both icons must appear. F

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

Hello Graeme. In last https://github.com/fredvs/ideU/commit/ there are new icons for bookmark (see bookmark_ideu.png) . I vote to use it for MSEide too. Fre;D -- Sent from: http://mseide-msegui-talk.13964.n8.nabble.co

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

Hello Graeme. OK, I will (try to) fix it asap. 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-mseg

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

Hi, Something that has been bothering me for ages. The look of the bookmark numbers in the editor gutter should really be improved. See attached screenshot [screenshot_mseide_default.png] where I show bookmark (1) and (3). Sure, functionally wise they work. But to put it bluntly, they look ugly.