Editor

Im 'Optionen-Menü' lassen sich sämtliche Einstellungen vornehmen, die sich ändern lassen.

Menü: Allgemein

Dieses Menü beinhaltet allgemeine Einstellungen das Programm betreffend. Die einzelnen Seiten des Menüs werden im Folgenden erklärt.

Seite: Editor

Neben der Änderungen der Schriftart, die sich natürlich nur auf die Darstellung auswirkt, da Webocton-Scriptly auf Grund seines Daseins als Quellcode-Editor nur Text-Dateien speichert, lassen sich hier z.B. die Tabgröße oder auch die Einfärbung der aktuellen Zeile wechseln. Außerdem lässt sich bestimmen, ob inaktive Highlighting-Bereiche ausgeblenden werden sollen (beispielsweise PHP-Quelltext solange man sich im HTML-Teil einer Datei befindet). Unter den Gutter-Einstellungen kann geregelt werden, was bei Klick auf den linken, grauen Rand im Editor - den Gutter - geschieht und es lassen sich zudem diverse Voreinstellungen für neue Dateien festlegen.