Подход Nirmal Patel может быть расширен для перезапуска сервера при использовании только клавиатуры.
Поэтому определите ярлык для переключения из редактора (или где вы хотите) в представление серверов. Зайдите в Окно -> Настройки -> Общие -> Ключи. Выберите «Показать представления (серверы)», выберите для атрибута «Когда»: «В Windows» и используйте предпочитаемый ярлык в поле ввода привязки, например, Ctrl + Alt + R .
Двойное нажатие на этот ярлык теперь перезапустит сервер. (Во-первых, вы попадете в представление «Серверы», во-вторых, по умолчанию сервер будет перезагружен в режиме «Просмотр серверов».) С помощью такой макропрограммы, как AutoHotKey, вы можете свести его к одному простому ярлыку.
Пример для AutoHotKey:
Создайте сценарий, описанный в Tutorial , содержащий только
^r::
Send ^!r^!r
Запустите скрипт (щелкните по нему правой кнопкой мыши -> Запустить скрипт), и если вы определили ярлык, как упомянуто выше, вы можете теперь перезапустить сервер с помощью простого Ctrl + R . Довольно удобно. :)