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