User Tools

Site Tools


This is an old revision of the document!

gui (Module)

Utilities for GUI applications.

setDefaults ( d : Record )

Populate record d with the default configuration variables for a GUI app.

scale ( value, factor : Number )

Scales a value by factor. If value is a text string, the suffixes “pt” and “px” (point, pixel) are retained in the result.

Value to scale. Number or Text, may have “pt” or “px” as suffix.
Scale factor.
script/module/gui.1574009408.txt.gz · Last modified: 2019-11-17 18:50 by skyjake