klyn.gui.windows.themes.ThemeManager.scaleMetric
method
public static scaleMetric(value as Int) as Int:
Description

Scales an integer metric with the current content zoom.

Use this for non-font dimensions such as padding, spacing, borders and default control sizes when the metric is not already computed from KSS.

gutter = ThemeManager.scaleMetric(12)