-
Michael Natterer authored
Override GimpContext's "tool" property and add an evil function that makes sure we don't set a tool that doesn't match the options. Needed because tool options are read from disk and thus unreliable per se, additional we were stupid and wrote wrong tool options to disk.
c835fad2