Improvements in keys binding : prevent infinite refresh, useless refresh when not neede, added a new shortcut on R key for forcing a refresh, added alias for F1 => 1 key, F2 => 2 key and F3 => 3 key (for putty users).