How to use the panel.fontsize function in panel

To help you get started, we’ve selected a few panel examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github sibiantony / ssleuth / modules / panel.js View on Github external
var init = function (prefs) {
        panelElement().appendChild(panelbox(win));
        setFont(prefs['panel.fontsize']);
    };