Skip to content
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

Suggestion - Options - Editor #1546

Closed
DaveCantor opened this issue Apr 27, 2012 · 3 comments
Closed

Suggestion - Options - Editor #1546

DaveCantor opened this issue Apr 27, 2012 · 3 comments
Milestone

Comments

@DaveCantor
Copy link

I suggest that when choosing the text editor, the current value be displayed (and the selection box show the directory it's in), rather than being blank. The legend on the button used to access the selection dialog should then be changed from 'Change editor' to 'Select editor'.

Dave Cantor
Groton, CT

@arantius
Copy link
Collaborator

Can you clarify what exactly you mean when you mention a selection box which is blank?

@DaveCantor
Copy link
Author

Greasemonkey Options --> click on button labelled 'Change Editor' (I'd like that changed to 'Select Editor') -->
This leads to a file selection dialog entitled "Please choose your preferred text editor first" displaying some seemingly random directory (perhaps %TMP%), and the file name field empty. If there already has been an editor selected, I'd like that selection box to have the name of that editor executable file and displaying the directory that it's in.

@Photodeus
Copy link

I agree on this. I pressed the Change Editor and all I see is my last downloads folder, and nothing preselected. It would be handy to somehow indicate the editor that is already set (In my case C:\Program Files\jEdit\jedit.exe), either as a text label in the settings dialog or after pressing the Change button.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants