* pick_image_size, below.
*/
var fixed_sizes = [
+ [ 3840, 2880 ],
+ [ 3200, 2400 ],
+ [ 2800, 2100 ],
[ 2304, 1728 ],
[ 2048, 1536 ],
[ 1920, 1440 ],
var body = document.body;
body.onresize = function() { relayout(); };
- body.onkeydown = function() { key_down(event.keyCode); };
- body.onkeyup = function() { key_up(event.keyCode); };
+ body.onkeydown = function(evt) { key_down(evt.keyCode); };
+ body.onkeyup = function(evt) { key_up(evt.keyCode); };
body.onhashchange = function() { check_for_hash_change(); };
body.onclick = function() { check_for_hash_change(); };