From: Matthieu C. <cho...@gm...> - 2012-04-03 14:57:43
|
Hi, traditionally plugins are not allowed to change the menus or install shortcuts automatically. But I think that it is time to change that and I like the idea that a plugin can install shortcuts. And if the other admins agree I think that plugins should also be able to change some menu items sometimes. Matthieu 2012/4/3 Jarek Czekalski <jar...@po...> > I also would like plugins to provide default shortcuts. It would be very > beneficial with connection to keymaps. A plugin could provide different > defaults for different keymaps. And since I haven't submitted any keymap > yet, I think I would do this if I could provide shortcuts for plugins. > Here is a sketch of the design that could be adopted: > > * jedit performs postinstall on every installed plugin > * jedit performs postinstall during plugin startup, if postinstall for > this plugin has not been run yet - this is for manually installed plugins > * jedit clear postinstall flag during plugin removal > * plugins provide keymap files > * during postinstall jedit performs importKeymap on every keymap file > provided by the plugin > * importKeymap asks for a resolution of shortcut collisions (override, > override all, skip, skip all conflicts) > > Jarek > > > ------------------------------------------------------------------------------ > Better than sec? Nothing is better than sec when it comes to > monitoring Big Data applications. Try Boundary one-second > resolution app monitoring today. Free. > http://p.sf.net/sfu/Boundary-dev2dev > -- > ----------------------------------------------- > jEdit Developers' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-devel > |