Re: [Geany-Devel] pull request on GitHub, to add GeanyHighlightSelectedWords, into Geany Plugins

2015-07-09 Thread Thomas Martitz
Am 09.07.2015 um 18:00 schrieb Steven Blatnick: Responses below: On 07/08/2015 11:23 PM, Thomas Martitz wrote: Remember that plugin_set_key_group() can be called repeatedly. Calling it again will simply clear all existing keybindings, then you can start over again with keybindings_set_item().

Re: [Geany-Devel] Fwd: Re: Github loses comments

2015-07-09 Thread Lex Trotman
On 9 July 2015 at 20:10, Thomas Martitz ku...@rockbox.org wrote: Am 09.07.2015 um 11:54 schrieb Lex Trotman: On 8 July 2015 at 22:07, Colomban Wendling lists@herbesfolles.org wrote: Le 08/07/2015 05:19, Matthew Brush a écrit : […] So does that mean it's ok to make comments either on

Re: [Geany-Devel] pull request on GitHub, to add GeanyHighlightSelectedWords, into Geany Plugins

2015-07-09 Thread Steven Blatnick
Responses below: On 07/08/2015 11:23 PM, Thomas Martitz wrote: Remember that plugin_set_key_group() can be called repeatedly. Calling it again will simply clear all existing keybindings, then you can start over again with keybindings_set_item(). So it looks like this can be achieved with

Re: [Geany-Devel] pull request on GitHub, to add GeanyHighlightSelectedWords, into Geany Plugins

2015-07-09 Thread Steven Blatnick
Thanks! I'd love to get this into geany-plugins, but I keep procrastinating because of lack of time to figure out how to integrate into the build system. Any suggestions on where to start with that? I'm a bit unclear on what files are generated vs what I need to edit to add my plugins.