Re: [jedit:plugin-bugs] #1925 Templates plugin

Hi Martin,

I haven’t been involved with jEdit development for some years. If you’re satisfied that your changes are working properly then I’d say go for it, check it in and create a new release.

Good luck,

Steve Jakob

> On Mar 11, 2024, at 6:00 AM, Martin Raspe via jEdit-devel <[email protected]> wrote:
> 
> [plugin-bugs:#1925] <https://sourceforge.net/p/jedit/plugin-bugs/1925/> Templates plugin
> 
> Status: open
> Group: 
> Created: Mon Mar 11, 2024 10:00 AM UTC by Martin Raspe
> Last Updated: Mon Mar 11, 2024 10:00 AM UTC
> Owner: nobody
> 
> Hi Steve,
> 
> for my personal needs I made some modifications your "Templates" plugin, fixing a few bugs and improving the user interaction. Here is a list:
> 
> keyboard bindings for template actions were not initialized
> keyboard shortcuts for templates were not functioning before opening the Plugins->Templates menu
> replaced the serial naming scheme for template actions; now shortcuts are no longer reassigned when new templates are added
> template accelerators were not saved
> added missing title and message properties for accelerator dialogs in dockable
> improved usability of accelerator option pane
> Now I feel my changes are stable and might be useful to all jEdit users. What do you think: Should I just check the changed code into the SVN repo and prepare a release as described here: http://plugins.jedit.org/releasing.php ? Or would you like to see/try my changes first?
> 
> Thanks
> 
> Martin
> 
> Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/
> 
> To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.
> 
> -- 
> -----------------------------------------------
> jEdit Developers' List
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/jedit-devel

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel