Benutzer-Werkzeuge

Webseiten-Werkzeuge


api:documentation:grafik:gui

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen RevisionVorhergehende Überarbeitung
api:documentation:grafik:gui [2025/01/16 07:20] – [OnChange-Listener] martinapi:documentation:grafik:gui [2025/02/26 13:28] (aktuell) – [GUI-Elemente] martin
Zeile 17: Zeile 17:
 <script type="text/plain" title="GUI-Test.java"> <script type="text/plain" title="GUI-Test.java">
 MyButton b = new MyButton(); MyButton b = new MyButton();
 +while(true);
  
 class MyButton extends Button { class MyButton extends Button {
api/documentation/grafik/gui.1737012002.txt.gz · Zuletzt geändert: 2025/01/16 07:20 von martin