Re: [Github-comments] [geany/geany] Improve goto-symbols popup (#1445)
@b4n to be honest, I prefer my version. I find it easier to grasp because it's split into 3 strv-related utility functions that have well defined and separated functionality (the functions should be useful on their own). I don't so how your code is really any shorter (and neither is worryingly long, each is well below 200 LOCs with 20-30 of them being comments). And it's more efficient. I'm surprised, as you usually seem care about efficiency? Efficiency is normally not a big deal for me, but I care if the more efficient version is already written (or if the change is trivial and/or obvious but that doesn't apply here). So I would rather fix the bugs you mention and proceed with my version. What do you think? -- 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/1445#issuecomment-370073581
Re: [Github-comments] [geany/plugins.geany.org] Remove deleted plugins from the web (#8)
> That could be, I have no access to the server. In this case maybe @dmaphy > might have a clue. Possibly, it appears at https://plugins.geany.org/geanygdb and of course Google can find it, so it shows in searches. -- 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/plugins.geany.org/issues/8#issuecomment-370055667
Re: [Github-comments] [geany/geany] GI compatible msgwin_*_add (#1748)
@b4n ping -- 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/1748#issuecomment-370045575
Re: [Github-comments] [geany/plugins.geany.org] Remove deleted plugins from the web (#8)
That could be, I have no access to the server. In this case maybe @dmaphy might have a clue. -- 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/plugins.geany.org/issues/8#issuecomment-369983694
Re: [Github-comments] [geany/plugins.geany.org] Remove deleted plugins from the web (#8)
How? The plugin is not in the geany-plugins repository any more. Also please notice that the plugin is not listed under geany.plugins.org. But you can find the Geanygdb HTML page if you google it. Can it be that the HTML file is just a leftover on the webserver? The README doesn't exist any more I guess. -- 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/plugins.geany.org/issues/8#issuecomment-369973289
Re: [Github-comments] [geany/plugins.geany.org] Remove deleted plugins from the web (#8)
We are excited to receive pull request -- 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/plugins.geany.org/issues/8#issuecomment-369871706