On Sat, Oct 22, 2011 at 11:43 PM, Edward K. Ream > P.S. There is one thing that I don't like: the red border extends > outside scrollbars.
Fixed at rev 4640. > P.P.S. Another slight glitch: adding and removing the border causes the > interior areas to jiggle a bit. Also fixed at rev 4640. EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
