[ jEdit-devel ] [jedit:feature-requests] #533 Create a new file from selection

[Eric Le L. <ker...@us...>]

- **status**: open --> pending
- **assigned_to**: Eric Le Lay



---

** [feature-requests:#533] Create a new file from selection**

**Status:** pending
**Group:** none
**Created:** Sun Mar 12, 2017 08:19 PM UTC by Victor Porton
**Last Updated:** Mon Mar 20, 2017 09:00 PM UTC
**Owner:** Eric Le Lay


Not sure if this should be in jEdit feature requests or jEdit plugins feature requests.

Please add "Create a new file from selection" menu item.

An additional useful feature would be to immeditely save this new file to a (configurable) directory under a configurable name dependent on the original file name. For example: editing file Ring.pm I want to create the file /home/porton/t/Ring-extract.pm where /home/porton/t/ is a configurable directory and the file name is determined by the option %s-extract somewhere in preferences.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.