Method getPanelSize

src/manager/msThemeManager.ts:200–202

()

    }

    getPanelSize() {
        return this.getScaledSize(this.themeSettings.get_int('panel-size'));
    }

    getPanelSizeNotScaled() {
        return this.themeSettings.get_int('panel-size');