Nick, Thomas,
[...]
0001-Per-document-real-time-symbols-setting.patch: Adds a per-document setting for real-time updates and a menu item in the Document menu. There is still a FIXME in it, feel free to give ideas :)
@Nick, there are lots of large generated files a programmer might want to check, especially XMLs and logs, saying there is an xxxGb maximum is wrong, it depends on the machine the user has. Forcing them to have to go use another editor or to not have highlighting is bad.
@Thomas, and since the problem is with a specific large file, Colomban is right it is per document, since you only need to turn off the one that is too large.
@Nick, therefore not per filetype either
0002-Tell-the-user-if-real-time-reparsing-is-slow-and-let.patch: This one adds the check for the updating duration and asks the user. It is WIP, and I'm not really convinced by the dialog, as you can read in a TODO. Apart that, it seems to work pretty OK.
This is more what I meant. I'm not so sure an extra dialog is needed, but if people want one that's ok. Would a "don't ask me again" checkbox be a good idea (if it doesn't already).
@Thomas, While I still think automatic changing of settings is a last resort, and as Nick said what performance number is acceptable? If we do add it, the user must be notified, but a "don't tell me again" is ok (for the session)
@Nick no one reads the status bar, sadly
Cheers Lex