Does this have any effect on a double click in a margin? I was asking about that a couple of years ago.
Greg Smith _______________________________________________ Scintilla-interest mailing list [email protected] http://mailman.lyra.org/mailman/listinfo/scintilla-interest
