Menu

#1045 Plugin for Apple macOS

None
closed-accepted
None
5
2019-09-08
2019-05-29
Makarius
No

{{{ MacOS 1.5
Source: https://sourceforge.net/p/jedit/MacOS
Announcement: Plugin for Apple macOS for current Java 11 LTS (formally Java 1.9, or later).
Requires Java 1.9
Requires jEdit 05.05.99.00

Short Description: Provides Apple macOS integration through features such as better CMD-key mapping, drag-and-drop from Finder and more.

Long Description: The MacOS plugin provides features that are specific to Apple macOS

but not supported out-of-the-box by jEdit.

Features include:
* Drag-and-drop support from Finder
* Preferences through conventional CMD+comma and application menu
* Reveal in finder by CMD/CTRL-clicking in the title bar
* Correct mapping of CMD key in all input fields for better copy-paste functionality
}}}

Related

Plugin Central Submission: #1045

Discussion

  • Townsfolk

    Townsfolk - 2019-06-30
    • status: open --> pending
    • assigned_to: Townsfolk
     
  • Townsfolk

    Townsfolk - 2019-06-30

    I do not see a tag in the repository for this one, is this this plugin finalized for release? If so, please tag it and let me know what the tag name is.

     
  • Townsfolk

    Townsfolk - 2019-09-08
    • status: pending --> closed-accepted
     

Log in to post a comment.