Replace the gear button in Firefox

GaloisInc / FiveUI

Extensible UI Analysis in your browser

Other

29 stars 1 forks source link

Replace the gear button in Firefox #5

Open elliottt opened 11 years ago

elliottt commented 11 years ago

Currently, the options page is accessed via the gear button in firefox. It would be nice to replace this with a context menu on the FiveUI button, to reduce the number of new UI elements we're adding.