Wenn diese Eigenschaft auf einen anderen Wert festgelegt wird, wird der Java-Editor verwendet.
If this property is set to any other value the Java editor will be used.
Abhängig vom Umfang der Administrationsaufgaben wurde der Java-Editor oder der In-Site-Editor installiert
Depending on the scale of the administration tasks, the Java editor or the in-site editor was installed
Barrierefreiheit Der Java-Editor hat spezielle Unterstützung für Sehbehinderte und Blinde.
Accessibility The Java-Editor has special support for visually impaired or blind persons.
Der Java-Editor teilt mit, ob die Lösung gefunden ist oder noch etwas geändert werden muss.
The Java-Editor tells if the solution is found or something needs to be changed.
Der Java-Editor unterstützt lokale Laufwerke, Netzlaufwerke und die UNC-Schreibweise für direkte Netzzugriffe, z.B. \\Server\Freigabe\Ordner\Programm.java.
The Java-Editor supports local drives, network drives and the UNC notation for direct network access, e. g. \\server\folder\program.java.
Der Java-Editor schreibt eine Batchdatei RunJava.bat um Java-Programme zu starten.
The Java-Editor writes a batch file RunJava.bat to start a java program.
Von dieser Lösung merkt sich der Java-Editor eine Textdarstellung und vergleicht sie mit der Textdarstellung der Schülerlösung.
From this solution, the Java-Editor remembers a text representation and compares it with the text representation of the student solution.
Kann der Java-Editor auf einem Server installiert werden? Sie können den Java-Editor direkt auf einem Server installieren oder von einem Client auf einen Server installieren.
Can the Java-Editor be installed on a server? \\ Yes, this is my preferred installation for using it in a classroom.
Wenn in einem Dokument Aufzählungszeichen der Schriftart Wingdings verwendet werden, zeigt der Java-Editor diese nicht korrekt an.
If your document uses bullet characters from the Wingdings font, those bullet characters will not display correctly in the Java editor.
Manchmal stürzt der Java-Editor ohne Fehlermeldung einfach ab. Was kann ich tun? Schauen Sie im aktuellen Ordner nach.
Sometimes the Java-Editor crashes without error message. What can I do? \\ Look in your current folder.
Am einfachsten geht dies, wenn der Java-Editor von einem Server gestartet wird, weil man dann nur eine einzige JEMachine.INI-Datei zu ändern hat.
The easiest way to do this is if the Java-Editor is started from a server, because then you only have to change one single JEMachine.INI file.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
