We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
the Java-Editor
Die Entwicklung dieser neuen grafischen Benutzeroberfläche für den Java-Editor hat viele Monate in Anspruch genommen.
The development of this new graphical user interface for the Java-Editor took many months.
Voraussetzung ist, dass Sie den Java-Editor wie empfohlen in einem PC-Raum mit der Verwendung von INI-Dateien installiert haben.
The prerequisite is that you have installed the Java-Editor as recommended in a PC room with the use of INI files.
Sie können das Javabuch in HTML-Form integrieren, haben einen Verweis auf die Java-Editor Homepage und können den Java-Editor updaten.
You have a link to the Java-Editor homepage and the possibility to update the Java-Editor.
Es gibt einige nützliche Erweiterungen für den Java-Editor, die unter [[:de:Konfiguration]] beschrieben sind.
There are some useful extensions for the Java-Editor, which are described under [[Configuration]].
Die automatische Jalopy-Installation installiert auch die Datei myjalopy.xml mit Programmierrichtlinien, die für den Java-Editor geeignet sind.
For the Java-Editor you need the Console-Plugin. The automatic Jalopy installation also installs a xml file with a coding standard suitable to the Java-Editor.
Für den Java-Editor braucht man das Console plugin.
Besonders empfehlenswert ist die Benutzung der CHM-Datei, wenn man den Java-Editor als portable Software auf einem USB-Stick installiert hat.
Using the chm documentation is especially recommended if you use the Java-Editor as portable software from an usb stick.
Dieses Problem betrifft nur den Java-Editor und beeinflusst nicht die Darstellung der Aufzählungszeichen in der Ausgabe.
The problem is isolated to the Java editor and will not affect the appearance of the bullets in your output.
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.
Zur Installation in einem PC-Raum sollte man den Java-Editor zentral in einer Netzwerkfreigabe installieren, weil dann ein Update einfach durchgeführt werden kann und globale Vorgaben für alle Benutzer gesetzt werden können.
In a classroom situation the installation in a network folder is preffered, because it is easier to update the Java-Editor and it is possible to make configuration presettings for all users. Using of INI-files
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
