home *** CD-ROM | disk | FTP | other *** search
- REFSKRIPT
- PRINT Tool Größe ändern
- GET_PARAM_NR 1
- GET_RESULT objektname
- OBJ_ERLAUBT objektname GEO_CHANGE
- GET_RESULT erlaubt
- IF_STR_EQUAL_GOTO erlaubt NEIN exit
- GET_REAL Faktor?
- RETURN_IF_ABBRUCH 0
- GET_RESULT wert
- GEO_SIZE objektname wert
- PRINT objektname um Faktor wert vergrößert/verkleinert.
- PLOT_PKL
- RETURN 0
-
- >exit:
- MELDUNG Größenänderung nicht erlaubt!
- PRINT
- RETURN 0
-