panel_settings_set_double

alias panel_settings_set_double = c_panel_settings_set_double