Slightly improving keyboard interface in console windows