+ update_keyval("general", "pressure_sensitivity",
+ " use pressure sensitivity to control pen stroke width (true/false)",
+ g_strdup(ui.pressure_sensitivity?"true":"false"));
+ update_keyval("general", "width_minimum_multiplier",
+ " minimum width multiplier",
+ g_strdup_printf("%.2f", ui.width_minimum_multiplier));
+ update_keyval("general", "width_maximum_multiplier",
+ " maximum width multiplier",
+ g_strdup_printf("%.2f", ui.width_maximum_multiplier));