-
Michael Natterer authored
tool_options_manager_tool_changed(): also copy the non-global paint options of the new tool to the global paint options, so they get used when "global_foo" is enabled. (cherry picked from commit 1b858eb4)
2a916b24
tool_options_manager_tool_changed(): also copy the non-global paint options of the new tool to the global paint options, so they get used when "global_foo" is enabled. (cherry picked from commit 1b858eb4)