Menu

#515 mode manager plugin or mode install, or modes in options panel.

none
closed-fixed
None
5
2016-05-15
2016-05-01
Mikey
No

It would be really nice if jedit had a mode manager plugin that works the same way macro manager plugin works. It seems like this should be nearly a cut+paste+search+replace of the macro manager plugin, but i'm not up to the task and there might be some non-obvious issues. However, if it is possible....

Dealing with modes in jedit is cumbersome. I want to be able to explain to experts in minority languages how to set up a couple macros and modes to do some very customized translation. the mode is for a tagging markup language. It isn't really appropriate for preinstallation, but training non-experts how to deal with files in hidden directories isn't really a viable alternative.

It seems like there is a pent up demand for this... too many modes to keep updated for jedit initial download..

Bonus feature request:

Both the current macro manager plugin and a theoretical mode manager would provide great niceness to jedit if they had within the manager dialog a manual remove and manual install button. It's annoying to have to page up page down to change the mode AND encoding when run conversion or paste sections into blank pages, when I only ever use 3 or 4 of these modes, and only ever 2 of the encodings, Nice for the 1/25,000 that need it, but constant annoyance for the other 24,999 that everything is enabled and requires so much command line/file management to deal with.

Discussion

  • Dale Anson

    Dale Anson - 2016-05-01

    I like this, great idea! Just a comment that may be useful to you in the mean time, there is a button to add (but not remove) mode files in jEdit, go to Utilities - Global Options - Editing, the button is at the bottom.

     
  • Mikey

    Mikey - 2016-05-01

    I'm using jedit 5.2.0 on osx Yosemite... I think I just let java 8 update to the latest within the last couple days... (multiple computers, not sure which one or all of them asked) I don't see a load mode button as you described.. !screenshot of where I think you suggested...

    I'm happy to know it exists though! :-)

     
    • Dale Anson

      Dale Anson - 2016-05-02

      Yes, that button was added for jEdit 5.3.

       
  • Eric Le Lay

    Eric Le Lay - 2016-05-02

    Regarding paging through encodings, in Global Options > Encodings, you can restrict the list of selected encodings to only the ones you use. Then only these would appear in buffer's properties, etc.
    Not possible for modes, though.

    @dale hadn't noticed the add mode button: nice addition

     
  • Dale Anson

    Dale Anson - 2016-05-02

    Eric, thanks for the reminder about the encodings settings. Probably something similar would work for modes.

     
  • Dale Anson

    Dale Anson - 2016-05-15
    • assigned_to: Dale Anson
    • Group: -->
     
  • Dale Anson

    Dale Anson - 2016-05-15

    Ticket moved from /p/jedit/plugin-feature-requests/365/

     
  • Dale Anson

    Dale Anson - 2016-05-15
    • status: open --> closed-fixed
    • Group: --> none
     
  • Dale Anson

    Dale Anson - 2016-05-15

    Implemented in revision 24376 and will be part of the next release (or daily build).

     

Log in to post a comment.