User Tools

Site Tools


script:module:gui

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.

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