[jedit:plugin-bugs] #1925 Templates plugin
Martin Raspe via jEdit-devel <[email protected]> Thu, 14 Mar 2024 08:13:30 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-bugs/1925/146739e27f03203a9f6bf331b24294aaec7accec.plugin-bugs@jedit.p.sourceforge.net> |
Checked in and tagged "Templates-5_1_0" after OK from Steve Jakob. --- **[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