I noticed there's no notification of any kind sent to the parent(via NotifyParent) following a change in just a margin's style. I've got an RTEXT margin that I already have text in, but when I try to add some style data without modifying the text, there's no redraw triggered. This doesn't seem right as either a change in the text or the style data should require a redraw.
--
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To post to this group, send email to scintilla...@googlegroups.com.
To unsubscribe from this group, send email to scintilla-inter...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/scintilla-interest?hl=en.