Version 4 (modified by leroux, 4 years ago) (diff)

Point to BrowserTips page.

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.