[Geany-Devel] Geanypy bug

2014-04-24 Thread Pavel Roschin
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

Re: [Geany-Devel] Geanypy bug

2014-04-24 Thread Matthew Brush
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

Re: [Geany-Devel] Geanypy bug

2014-04-24 Thread Lex Trotman
On 25 April 2014 14:32, Pavel Roschin ros...@scriptumplus.ru 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