On September 18, 2024 9:51:57 PM EDT, Lex Trotman via Users <[email protected]> wrote: >On Thu, 19 Sept 2024 at 09:46, H via Users <[email protected]> >wrote: >> >> Thank you again. I replaced PACKAGE_VERSION with "2.0" and everything >compiles fine, first to object file, then to shared object library and >loaded by geany. Now two questions: >> >> - Do I need to exit and restart geany to reload any modified shared >object library files? The reason I am asking that when I modify >symfony.c, then recompile it to shared object library I would like to >click on Tools in geany and then see the modified plugin. Or, is it >necessary to exit geany and restart it to see modifed shared object >libraries. I suspect the latter but would prefer the former... > >See the fine manual, first sentence >https://www.geany.org/manual/current/index.html#plugins > >> - What determines the order in the Tools menu? Right now my symfony >plugin (the menu text is Create Symfony Class) shows up between Shift >Righ and Pretty Printer XML whereas I would like to see it between Copy >Files and Create Class (the regular classbuilder.c plugin)? > >The tools menu is as it is added by plugins, probably they simply add >to the end as they create entries when they are activated at startup >or by the user. The order they are activated at startup is not >specified, it is dependent on internal implementation details and >cannot be relied on. The order of users also cannot be specified, >humans are totally unreliable ;-) >_______________________________________________ >Users mailing list -- [email protected] >To unsubscribe send an email to [email protected]
Thank you. Ok, the manual clearly states I need to reload geany. I was hoping there would be some kind of weight system I could use to force placement in the Tool menu but alas not. Unfortunately it ended up almost at the bottom of the list and this needs scrolling to get to. I suppose I can mitigate that by assigning it a key-binding. _______________________________________________ Users mailing list -- [email protected] To unsubscribe send an email to [email protected]
