Dieser Teil beschreibt die allgemeinen Einstellungen zu EJE .
Internet Browser:EJE
versucht den eingestellten Internet Browser automatisch zu bestimmen. Sollte
dies nicht funktionieren, kann man hier die Datei des bevorzugten Internet
Browsers. z.B.
c:\programme\internet explorer\iexplore.exe
definieren.
Fenster-Layout: Tab-basiertes Layout (Standard) oder MDI-basiertes (Multiple Document Interface) Layout verwenden. Ein Wechsel benötigt Anwendungsneustart.
Dateiliste: Hier kann man einstellen, ob man den Datei-Explorer nutzen möchte, oder nicht.
Kursseite: Sie können hier ein Bookmark hinterlegen, zum Beispiel die Homepage des Kurses.
Sprache: Sie können zwischen Deutsch und Englisch wählen. Übersetzer anfragen sind jederzeit willkommen.
Look & Feel: Auswahl zwischen Cross-Plattform Look&Feel (Metal), System- oder Kunststoff Look&Feel (Standard). Ein Wechsel benötigt Anwendungsneustart
Proxy Hostname: Wenn man einen Proxy-Server für den Internetzugriff benötigt, kann man diesen hier definieren. Den Hostnamen des Proxy-Servers erfahren Sie von Ihrem Administrator. Unter Umständen muss der Proxy Port noch definiert werden.
Proxy Port: Wenn man einen Proxy-Server für den Internetzugriff benötigt, und dieser einen Port benötigt, kann man diesen hier definieren. Den Port des Proxy-Servers erfahren Sie von Ihrem Administrator.
Befehlszeile anzeigen: Zeigt beim Ausführen externer Programme (Compiler, Interpreter, Tools, etc.) die Kommandozeile im Ausgabebereich des aktuellen Editors an. Dies ist nützlich, wenn Sie prüfen wollen, warum extern eingebunden Werkzeuge nicht funktionieren.
Mindprod verwenden: Aktiviert beim Doppelklick auf eine Syntaxfehlermeldung das Anzeigen der Mindprod Fehlermeldungsbeschreibung
Java Einstellungen prüfen: Prüft beim Start, ob die aktuellen Java Einstellungen korrekt sind.
Standardtemplate: Wenn beim Start eine neue Datei erzeugt wird, wird die Standardvorlage verwendet.
Letzte Dateien öffnen: Öffnet alle beim letzten Schließen geöffneten Dateien beim Start.
Startbild anzeigen: Zeigt das Startbild beim Starten der Anwendung.
Auf neue Version prüfen: Prüft beim Start, ob eine neue Version der Anwendung verfügbar ist.