|
|
|
|
|
by Groxx
5823 days ago
|
|
I set something like this up myself with a Safari plugin. One thing I learned rather quickly: nobody searches with capital letters, so hitting the shift key to make a ":" is a pretty big cost. Just use "g <search>", and detect prefixes you know; it's much faster and less awkward to use. |
|