Am 26.09.2011 23:38, schrieb Colomban Wendling:
Hum, right, automagic might not be good, asking the user is always better.
I've got 2 WIP patches, though they might not be appropriate to commit before release since they add strings... anyway, here they are:
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 :)
I think that one isn't needed. I don't think anyone wants to set it off per document, except if one parses slowly in which case we can turn it of automatically (with notification). When I said per-document setting I meant internally, not one actually accessible in the menus.
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).
Best regards.