Restore proper Ctrl-left/right behavior
commit3eee931f2ed2423f4d9002df05f8232826734e0b
authormalc <av1474@comtv.ru>
Fri, 24 Feb 2012 12:50:37 +0000 (24 16:50 +0400)
committermalc <av1474@comtv.ru>
Fri, 24 Feb 2012 12:50:37 +0000 (24 16:50 +0400)
tree097485f41e9c714991decd9882bf38d94e3b0109
parent2cf5a332f0bdec0699c2df69afab309560d8b4ec
Restore proper Ctrl-left/right behavior
main.ml