Konstruktion als HTML exportieren

Wenn du eine eigene Homepage für deine Ergebnisse von ``Zirkel-und-Lineal'' erstellen möchtest, wirst du eine besondere Funktion des Programmes besonders schätzen lernen: Den HTML-Export deiner Konstruktion. Aber bevor wir dir verraten, wie du deine fertig gezeichnete Konstruktion exportieren kannst, ein paar wichtige Informationen:

• Seit Beginn des WWW zerbrechen sich Programmierer den Kopf darüber, wie man kleine (oder auch größere) Programme in eine Internetseite einfügen kann³.
• Eine besondere Möglichkeit bieten Applets: Das sind kleine - in JAVA - geschriebene Programme⁴, die mit einem bestimmten HTML-Element (dem $<$applet$>$-Tag) in ein Internetdokument eingefügt werden.
• Keine Sorge: Du brauchst deshalb keineswegs JAVA programmieren lernen!
• Exportierst du eine Zeichnung mit ``Zirkel und Lineal'' nach HTML, so wird ein fertiges Internet-Dokument erzeugt, das deine Konstruktion als JAVA-Applet enthält. Rufst du dieses Dokument mit dem Browser auf, so kümmert sich die dort enthaltene Software von selbst um die richtige Darstellung und Ausführung des Applets.
• Das von ``Zirkel und Lineal'' erzeugte HTML-Dokument kannst du natürlich mit dem HTML-Werkzeug deiner Wahl nach deinen Wünschen erweitern und nachbearbeiten ;-))

Also ans Werk: Wir exportieren nach HTML! Dazu wirst du am besten die folgenden Reihenfolge einhalten:

1. Die Konstruktion fertig stellen
2. Planen, welche Teile exportiert werden sollen: Soll die Zeichnung nur in den HTML-Text eingebettet werden? Sollen der Rand und die Zeichenwerkzeuge als Icons mit exportiert werden? Soll die Status- und/oder die Eingabezeile exportiert werden?
3. Wie soll die HTML-Seite gestaltet werden (Titel, Hintergrundfarbe, CSS, ...)
4. Aus dem Menü ``Spezielles'' - ``HTML Export ... (Strg-e)'' wählen. Damit erhältst du einen Dialog, mit dem du die HTML-Seite nach deinen Vorstellungen gestalten kannst:

   

5. Beachte besonders, wo du die HTML-Datei speicherst, in welchem Verzeichnis die Konstruktionsdatei (``.zir''-Datei) und wo die Datei ``zirkel.jar''⁵ zu finden ist. Dass du den Speicherort dieser Dateien genau kennst, ist besonders wichtig, wenn du deine Arbeiten anschließend auf einen Webserver hochladen möchtest...

   Die exportierte HTML-Datei kann schließlich sofort im Browser getestet werden:

   

6. Die erzeugte HTML-Datei kann anschließend mit einem Editor nachbearbeitet bzw. erweitert werden...

   

   ``pico'' in Aktion ;-)⁶