[Geany-devel] Markers

Lex Trotman elextr at xxxxx
Sun Mar 11 06:37:27 UTC 2012

On 11 March 2012 17:16, Alexander Petukhov <devel at apetukhov.ru> wrote:
>> So all we need is the initialisation, and probably a common search
>> routine for the convenience of plugins (although that isn't absolutely
>> needed).  The smaller the patch the more likely someone has time to
>> test it and commit it.
> I would vote for having utility functions that manages a list of available
> markers
> instead of letting plugins manually find those that are marked with
> I can imagine a situation when some plugin set its markers for several
> documents but didn't do it for others,
> so when another plugin tries to set it's own markers it came to that markers
> idenifiers for the same markers are different in different documents that
> means it's another job to keep track of it.

Well, the plugins are just going to have to do this anyway, why should
a C language plugin steal markers froma Python file when the Python
plugin also needs them??


> having such functions as utils_ui_get_marker(), utils_ui_free_marker() seems
> more clear and robust.
> Regards,
> Alex
> _______________________________________________
> Geany-devel mailing list
> Geany-devel at uvena.de
> https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel

More information about the Devel mailing list