Re: [ jEdit-devel ] plugins providing shortcuts

[Dale A. <da...@gr...>]

How would the "compiling and running" shortcuts work? Suppose I have a java
project with an ant build file, a c project with a make file, and another
java project with a pom.xml file. Would pressing F9 in each case do the
right thing?


On Tue, Apr 3, 2012 at 2: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
>
>