Skip to main content

plugins.scale

local scale = require "plugins.scale"

config.plugins.scale​

Configuration options for scale plugin.

autodetect​

(field) autodetect: boolean

Toggle auto detection of system scale.

config_spec​

(field) config_spec: table

The config specification used by gui generators

default_scale​

(field) default_scale: number

Default scale applied at startup.

use_mousewheel​

(field) use_mousewheel: boolean

Allow using CTRL + MouseWheel for changing the scale.

decrease​

function plugins.scale.decrease()

decrease_code​

function plugins.scale.decrease_code()

get​

function plugins.scale.get()
  -> number

get_code​

function plugins.scale.get_code()
  -> number

increase​

function plugins.scale.increase()

increase_code​

function plugins.scale.increase_code()

reset​

function plugins.scale.reset()

reset_code​

function plugins.scale.reset_code()

set​

function plugins.scale.set(scale: any)

set_code​

function plugins.scale.set_code(scale: any)