Version 2 (modified by jstolarek, 5 years ago) (diff)

Updated to match latests version of FF (no Quick Searches bookmarks)

Firefox tips

Finding tickets by number

Add a new bookmark, 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:

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.