Make greasemonkey.editor configurable from UI

[arantius]

Originally: DevjaVu ticket 171

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.

[erikvold]

How about a 'Configuration' tab, which would be displayed if you go to 'Tools' -> 'Add-ons' -> 'Greasemonkey' -> 'Options', and the "Manage User Scripts" tab would be displayed by default if you right click on the monkey's face at the bottom of the screen.

[arantius]

Johan and I have both expressed interest into incorporating the list of scripts into the Add-Ons dialog (alongside full fledged extensions). This would leave the Greasemonkey Options dialog to expose global settings, like this. I would expect that is the path we'll take.

[erikvold]

Ah that makes good sense.

[ocornu]

Johan and I have both expressed interest into incorporating the list of scripts into the Add-Ons dialog

Do you mean there would be a "scripts" tab alongside the "add-ons", "themes", "plugins", etc, tabs of the add-on dialog?
Sounds like a very good idea to me. :-)

[erikvold]

Much like Stylish does it, correct?

[vBm]

That would be really nice. Also reading additional non default meta keys would help out users to see which script they have ( i'm referring to @Version for example (it's useful when users are reporting bugs in specific version of userscript ))

[sizzlemctwizzle]

Something similar to what Stylish has would be great.

[kwah]

Johan and I have both expressed interest into incorporating the list of scripts into the Add-Ons dialog (alongside full fledged extensions).

Could you provide a link to the issue # please? A quick search didn't help (perhaps I should just look harder =P )

I'm quite conscious of trying to not go offtopic but I'm interested to find out how script ordering will be handled after changing to the addons dialog? And also, personally I would prefer this to the addons dialog so would you be willing to leave the Manage Scripts dialog in the script in one way or another (only via the menus for example).

[arantius]

I don't think there is an issue about this yet. Most recently on the list, at:

http://groups.google.com/group/greasemonkey-dev/t/c4755e26c01c912e

[arantius]

Done in bd733c5 and 06ea29d .