Quantcast

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

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Victor Porton

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

Status: open
Group: none
Created: Sun Mar 12, 2017 08:19 PM UTC by Victor Porton
Last Updated: Sun Mar 12, 2017 08:19 PM UTC
Owner: nobody

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 [hidden email] 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.


------------------------------------------------------------------------------
Announcing the Oxford Dictionaries API! The API offers world-renowned
dictionary content that is easy and intuitive to access. Sign up for an
account today to start using our lexical data to power your apps and
projects. Get started today and enter our developer competition.
http://sdm.link/oxford
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Eric Le Lay-2

This is clearly the job of a macro.
See attached macro for an example.

Attachments:


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

Status: open
Group: none
Created: Sun Mar 12, 2017 08:19 PM UTC by Victor Porton
Last Updated: Sun Mar 12, 2017 08:19 PM UTC
Owner: nobody

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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Eric Le Lay-2
In reply to this post by Victor Porton
  • 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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...