WebIDE-Einstellungen: 

WebID-Einstellungen in Extras > Web-Entwickler

In Extras > Web-Entwickler-Untermenüs eine der Optionen wählen. Die Werkzeugkasten-Einstellungen sind  rechts oben hinter dem Zahnrad.