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

Global, user-specified, @exclude rules #1002

Closed
arantius opened this Issue Aug 11, 2009 · 0 comments

Comments

Projects
None yet
1 participant
@arantius
Copy link
Collaborator

arantius commented Aug 11, 2009

Originally: DevjaVu ticket 18

The end user should have the option to define a set of global @exclude rules that would completely disable all Greasemonkey scripts, when matched. Adding this functionality would need:

  • A place in the UI for this.
  • Some sort of observer that would update the enabled/disabled icon when the user navigates to, or switches tabs to, an excluded page.
  • (Optional) A quick "Exclude this domain" item in the Monkey Menu to make this feature more discoverable. If we allow full @exclude syntax, this is harder to make reversible.

@arantius arantius closed this in 728a048 Jul 25, 2011

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment