-
Michael Natterer authored
We rely on GimpDeviceInfo's tool-options being non-NULL, so make sure this is the case and fix NULL options with the current tool's options after loading devicerc.
320d23f9
We rely on GimpDeviceInfo's tool-options being non-NULL, so make sure this is the case and fix NULL options with the current tool's options after loading devicerc.