- //panel_config.launcher.area.paddingxlr = panel_config.launcher.area.paddingx = atoi (value1);
- //if (value2) panel_config.launcher.area.paddingy = atoi (value2);
- //if (value3) panel_config.launcher.area.paddingx = atoi (value3);
+ gtk_spin_button_set_value(GTK_SPIN_BUTTON(launcher_padding_x), atof(value1));
+ gtk_spin_button_set_value(GTK_SPIN_BUTTON(launcher_spacing), atof(value1));
+ if (value2) gtk_spin_button_set_value(GTK_SPIN_BUTTON(launcher_padding_y), atof(value2));
+ if (value3) gtk_spin_button_set_value(GTK_SPIN_BUTTON(launcher_spacing), atof(value3));