skratchdot/github-code-search.user.js — Issue #3: Doesn't seem to work
Author: rpavlik
Created: 2011-12-14 23:39:47+00:00
State: open

Using Chromium `15.0.874.121 (Developer Build 109964 Linux) Ubuntu 10.04`. I didn't try it until after the latest design changes, so that might be the cause.