Commit 188fd773 authored by Michael Natterer's avatar Michael Natterer 😴

app: make sure the active tool options get saved in devicerc

gimp_devices_save(): call gimp_device_info_save_tool() on the current
device.
parent 1b858eb4
......@@ -174,6 +174,15 @@ gimp_devices_save (Gimp *gimp,
if (gimp->be_verbose)
g_print ("Writing '%s'\n", gimp_file_get_utf8_name (file));
if (! GIMP_GUI_CONFIG (gimp->config)->devices_share_tool)
{
GimpDeviceInfo *current_device;
current_device = gimp_device_manager_get_current_device (manager);
gimp_device_info_save_tool (current_device);
}
if (! gimp_config_serialize_to_gfile (GIMP_CONFIG (manager),
file,
"GIMP devicerc",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment