[Github-comments] [geany/geany] New tagmanager query module (#1187)

Jiří Techet notifications at xxxxx
Thu Aug 25 13:09:20 UTC 2016


>This interface isn't just a workaround for my python problem. It's a new
interface for both Geany and plugins because the existing methods to
query tags are poor (inflexible and inconsistent), such that I wouldn't
want to even export in the first place. For plugins there isn't any
method provided by Geany ATM, just the global workspace (with bare tag
arrays) is exported.

To me it looks more like a solution for your problem (which is fine) than something that would be needed in Geany. The current search functions in TM are indeed single-purpose for specific uses in Geany but there's no problem to grab one of the tag arrays, go through the elements and pick those you are interested in (one for loop, one if inside and this is more flexible than some extra API). The new API seems to be useful just to make the filtering fast in Python (and again, sounds like a fair reason).

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1187#issuecomment-242379687
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160825/5bf98c1a/attachment.html>


More information about the Github-comments mailing list