On Sun, Nov 2, 2008 at 2:51 PM, Ville M. Vainio <[EMAIL PROTECTED]> wrote:
> I don't know if this is the cause, but ctrl+I no longer works > correctly. Thanks for this report. This is indeed related to today's work. There are many subtle relationships between key events and redrawing events, so this may not be so easy to fix... > I was also able to crash leo by > pressing up after ctrl+I. It would be simpler and less bug-prone to > just use the default qt functionality for headline editing, with the > slight drawback that ctrl+a / ctrl+e would not work. That's a small > price to pay for having yet another area that does not depend on code > in leo side at all... That's a fallback position, but I'm not ready to give up yet. > Unrelated issues: > > - Clicking on the expand plus sign sometimes scrolls the tree pane > right (try it by making the horizontal area of the tree smaller by > dragging the border). I was wondering what exactly was happening. I'll see what I can do. > - The default font should probably be smaller, for better "first impression". I can do that. I'll move my big fonts into myLeoSettings.leo. > - On a more controversial note, scintilla should probably be the > default editor, again for better first impression. QTextEdit is still > too slow to use comfortably (IMHO). Scintilla will be the default text editor when it works, but it doesn't work now when driven from Leo's core. > - The scintilla widget should choose the lexer according to the > programming language (on @nocolor, @killcolor...). Sure, but imo there is no rush while Leo's core can't drive QScintilla. Edward --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
