panel_settings_get_int

alias panel_settings_get_int = c_panel_settings_get_int