Note: Browser Tips is now the updated wiki page on browser tips.

Firefox Tips

Finding tickets by number

Add a new bookmark/entry, with

Name: [#] GHC ticket
Keyword: #

Then typing # 5129 in the title bar goes to that ticket (note the space).

Searching for tickets

Add a new bookmark, with

Name: [t] GHC ticket search
Keyword: t

Now typing t <query> into the title bar searches the GHC ticket database using Google, which is much faster than Trac's search.

Last modified 2 years ago Last modified on Sep 11, 2013 4:46:28 AM