Ticket #171 (new enhancement)

Opened 2 months ago

Make greasemonkey.editor configurable from UI

Reported by: e.@enlightened.de Assigned to:
Priority: minor Milestone:
Version: 0.8.20080609.0 Keywords:
Cc:

Description

Currently, when using the 'Edit' button in the user management dialog for the first time, greasemonkey asks for the editor executable to be used for editing and saves the selection to the greasemonkey.editor variable. It is, however, not visible or changeable from UI (aside from using the about:config page). I think it should be possible to change it from some greasemonkey configuration dialog; however, I'm not quite sure if the 'manage user script' dialog is the right place for this. If this decision is made, I would probably be able to provide a patch to implement this.

Attachments


Add/Change #171 (Make greasemonkey.editor configurable from UI)