Hotkeys to select windows numbered higher than 9.
[profile.git] / .e16 /
2008-11-27 Iain Pattersone16 settings.