Feature request (with implementation): Additional Keyboard Shortcut for scripting window about praat HOT 7 CLOSED

Ok, maybe Shift control O would be better...

from praat.

Ok, maybe Shift control O would be better...

+1

from praat.

To me this destructive command feels like an emergency measure, not something you do all day, so it may not make sense to give it a shortcut. Otherwise, Shift-Command-O it will be, but I think there should also be a warning that all changes will be undone. Please comment.

from praat.

👍 I also use "reopen from disk" often, because external editors have useful facilities (missing from praat's internal editor) which I like: syntax highlighting, code snippets, etc., but when I'm writing a new praat script (or debugging) I often want to run just one or a few lines of code rather than the whole script (so it doesn't make sense to run the whole script from a bash shell).

So I don't think of it as an "emergency measure", and don't really see the need for a warning, since I rarely do serious script development within praat's built-in editor (hence the potential destructiveness is a small risk for me). The proposed Ctrl+Shift+o seems an acceptable choice.

from praat.

My thoughts are the same as @drammock 's.

As to giving a warning, in my ideal world there would be a pop up with a warning (and hitting enter would mean "ok"), and there would be a check box where one could choose "Don't show again".

from praat.

In my ideal world Praat's editor would be an instance of katepart, which will soon ship with syntax highlighting for Praat.

More seriously, I also agree with @drammock: I normally write in an external editor, and use the internal editor mostly for executing or debugging some scripts. So this behaviour does seem desirable, at least for scripters.

from praat.

OK, good that I asked. So the major use case is when you have an external editor. Then we'll have Shift-Command-O, with a confirmation dialog only in cases where there were changes to the text in Praat's editor (for that majority of users who do use Praat's editor for editing).

from praat.