OK, maybe I\'m dumb/blind, but in the docs it says \"rebuild and restart the server.\" But I don\'t see a button to do this anywhere. Or from any contextual menu. And I can\'t f
The best I've found is to setup the keyboard shortcuts for the console's terminate button, and the run/debug start/restart command. By default, you can enable Command-F2 to terminate, and Command-F11 to restart, its fairly painless. Make sure to enable the full debug menu group (click on main toolbar -> customize, etc)