Re: [Geany-Devel] Geanypy bug
On 25 April 2014 14:32, Pavel Roschin wrote: >> I think, admittedly without testing, that you will get this erm >> feature with normal plugins too. The "name" is just for human >> consumption, all Geany cares about is the file. > > It duplicates *all* plugins, not only one plugin with same name. Oh, thats likely to be annoying, in fact I'd call it a bug :) Cheers Lex > > -- > Best regards, > Pavel Roschin aka RPG > ___ > Devel mailing list > Devel@lists.geany.org > https://lists.geany.org/cgi-bin/mailman/listinfo/devel ___ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
Re: [Geany-Devel] Geanypy bug
> I think, admittedly without testing, that you will get this erm > feature with normal plugins too. The "name" is just for human > consumption, all Geany cares about is the file. It duplicates *all* plugins, not only one plugin with same name. -- Best regards, Pavel Roschin aka RPG ___ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
Re: [Geany-Devel] Geanypy bug
On 14-04-24 12:44 PM, Pavel Roschin wrote: I copied console.py in my home config dir (~/.config/geany/geanypy/plugins) and forgot to rename it (but file content and plugin name was changed). After that I had doubled plugin set in Python Plugin Manager:) What is the expected behaviour? Should it silently ignore the 2nd plugin? Auto-number them maybe? In short if you have two plugins with same file name in /usr and in ~/.config you will get this bug. Can you open a report on the bug tracker? https://github.com/codebrainz/geanypy/issues FWIW, if you think it should de-dupe the list and you like coding in Python, I'm pretty sure this is where would need changing: https://github.com/codebrainz/geanypy/blob/master/geany/loader.py#L77 Cheers, Matthew Brush ___ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
Re: [Geany-Devel] Geanypy bug
On 25 April 2014 05:44, Pavel Roschin wrote: > I copied console.py in my home config dir (~/.config/geany/geanypy/plugins) > and > forgot to rename it (but file content and plugin name was changed). After > that I > had doubled plugin set in Python Plugin Manager:) > > In short if you have two plugins with same file name in /usr and in ~/.config > you will get this bug. > > Build date: Apr 15 2014 I think, admittedly without testing, that you will get this erm feature with normal plugins too. The "name" is just for human consumption, all Geany cares about is the file. Cheers Lex > > -- > Best regards, > Pavel Roschin aka RPG > ___ > Devel mailing list > Devel@lists.geany.org > https://lists.geany.org/cgi-bin/mailman/listinfo/devel ___ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
[Geany-Devel] Geanypy bug
I copied console.py in my home config dir (~/.config/geany/geanypy/plugins) and forgot to rename it (but file content and plugin name was changed). After that I had doubled plugin set in Python Plugin Manager:) In short if you have two plugins with same file name in /usr and in ~/.config you will get this bug. Build date: Apr 15 2014 -- Best regards, Pavel Roschin aka RPG ___ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel