Re: [ jEdit-devel ] plugins providing shortcuts

[Alan E. <ala...@gm...>]

First, I already added some shortcuts to plugin actions in the emacs keymap.
But perhaps they should be moved out of there and into the plugin's .props file.

Second, I think Navigator should be another exception to the rule, since its
shortcuts, alt+left and alt+right, are the "standard" ones.

Finally, I don't like the idea of plugins customizing menus. There is
a plugin for that.


On Tue, Apr 3, 2012 at 1:20 PM, Damien Radtke <dam...@gm...> wrote:
> The problem with letting plugins create default shortcuts and menu items is
> that it can easily spiral out of control, since every plugin author wants
> theirs to be noticed. I think in general the "plugins shouldn't install
> shortcuts or menus" rule should remain the default, but not be iron-clad.
> Allowing a plugin to create default shortcuts should be the exception to the
> rule.
>
> That said, compiling and running programs is an activity fundamental to
> programming, so it should be allowed to provide default shortcuts. I can't
> think of any other good candidates off the top of my head, though.
>
>
> On Tue, Apr 3, 2012 at 9:57 AM, Matthieu Casanova <cho...@gm...>
> wrote:
>>
>> 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
>>
>>
>>
>>
>> ------------------------------------------------------------------------------
>> 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
>>
>
>
> ------------------------------------------------------------------------------
> 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
>