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

Add a global options dialog #1109

Closed
arantius opened this issue May 7, 2010 · 2 comments
Closed

Add a global options dialog #1109

arantius opened this issue May 7, 2010 · 2 comments
Milestone

Comments

@arantius
Copy link
Collaborator

arantius commented May 7, 2010

Tools>Add-Ons>Greasemonkey>Options used to open manage scripts dialog. That dialog is now (as of #1086, for version 0.9) a tab in addons. This options window should now become a place to set global options regarding greasemonkey, and not given scripts.

This dialog needs to assume the "uninstall preferences with scripts" option lost from the old manage scripts dialog. I'd prefer it to default to on.
This dialog can also, eventually, include a place for the settings to back #1002 and #1012.

@Martii
Copy link
Contributor

Martii commented May 9, 2010

+1 for defaulting to on for uninstall associated preferences.

@arantius
Copy link
Collaborator Author

Done in f30c1b3 and 0ac9e9a.

This issue was closed.
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

2 participants