-
Notifications
You must be signed in to change notification settings - Fork 758
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Topic/ide cmdline #711
Topic/ide cmdline #711
Conversation
using Ctrl+Shift+E, one can now fill a command line from the current selection. Signed-off-by: Tim Blechmann <tim@klingt.org>
Signed-off-by: Tim Blechmann <tim@klingt.org>
Why is this necessary? Sorry for my ignorance, but isn't it possible to just evaluate the selection directly? On 14.01.2013, at 10:43, Tim Blechmann notifications@github.com wrote:
|
sure, you can evaluate the selection. however sometimes you have a line of code in a piece, but want to take this selecting and evaluate it with some modifications before you end up using this line in the piece. has the advantage of seeing both old and new code on the same screen. or you store an object into an environment variable and want to quickly evaluate some of its methods without writing into the document. at least, these are my use cases. |
On 15.01.2013, at 21:55, Tim Blechmann notifications@github.com wrote:
Ok, I see. Wouldn't it be a good idea to have a default notepad file open in which you can paste such lines and which behaves like any other document? It could be the default document and could come to focus with the shortcuts used for the cmdline widget, even adding to the end of it with one keystroke. This might be more generally useful. |
On Mon, Jan 21, 2013 at 3:09 PM, Julian Rohrhuber
Sounds good to me! Something like a special "paste-to-scratch-buffer", or |
On 21.01.2013, at 20:29, Jakob Leben notifications@github.com wrote:
This would finally replace the decade-long practice of the "Untitled Document"! There could be one for each session, which is automatically saved and loaded. |
this patch adds a shortcut (shift-ctrl-e) to fill the cmdline widget from a selection. does this sound reasonable?