[jedit:plugin-bugs] #1925 Templates plugin
Martin Raspe via jEdit-devel <[email protected]> Mon, 11 Mar 2024 10:00:32 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
--- **[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