panel_settings_get_double

alias panel_settings_get_double = c_panel_settings_get_double