[Geany-devel] editing big files can be too slow with tag reparsing

[Thomas Martitz]

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.