Thanks Terry. Yes, I will probably point towards there, and as you say, it seems unlikely it will conflict with other thing since they are intended for short term use.
But as said earlier, c.redraw() can be an issue when mixed with interactive marking. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
