Preferences -> Syntax Highlighting style selectbox should be binded to the keydown event too

[shesek]

This is a tiny improvement, but it can make the interface for selecting the style much more convenient. The 'onchange' event doesn't fire until a select box losses focus, so one can't look at styles by scrolling them up/down with the keyboard, he has to choose them with the mouse, which is far less convenient.

This can be easily improved by biding to the 'onkeydown' event too, like that:

$("#pygment_theme").attr("autocomplete", "off").bind('change keydown',function() {
          switchStyleSheet(this.options[this.selectedIndex].text);
        });

Notice the .bind('change keydown',function(){ used instead of .change(function(){. This is the only modification needed.

I do realize this is very minor, but it could be a nice enhancement.

[Remy Blank]

Applied in [10017], except that I bound to keypress instead of keydown so that key repetitions also work.

[shesek]

Great. thanks for taking the time to fix even such a minor issue :-)