Method getScaledSize

src/manager/msThemeManager.ts:208–211

(size: number)

    }

    getScaledSize(size: number) {
        const { scale_factor } = St.ThemeContext.get_for_stage(global.stage);
        return size * scale_factor;
    }

    get focusEffect() {
        return this.themeSettings.get_enum('focus-effect');