[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.

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:

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.

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