greasemonkey/greasemonkey — Issue #1447: Provide an "Options" item in the Monkey Menu
Author: arantius
Created: 2011-10-15 20:33:26+00:00
State: open

I find myself more and more often looking for e.g. the "global excludes" option, and I'd rather find it in the Monkey menu than opening the Add-Ons manager.