Make language selection work like gist.github.com's

[paulv]

You should be able to type in the language selection box like you can on http://gist.github.com. At one point I found a jquery plugin (I think) to do this, but I don't think I have any of the details anymore.

[jrbl]

jquery autocomplete from a static array. It's right there in the jquery-ui bundle.

[paulv]

That's close, but I was thinking it would be better if it was a combination of that and a scroll box, like gist's.