Am 27.11.2016 um 16:17 schrieb Ulrich Pegelow: > Am 27.11.2016 um 16:04 schrieb Rico Heil: >> Actually, I can't disable it. >> Seems like a cosmetical bug to me: The checkmark should not be set > > True, that's a minor UI issue. Fixing it requires a bit of thought...
... and I bet there are many more beneficial areas to spend your time ;-) > >> and >> there should be some visual representation of the fact that the control >> is disabled (ie. it should be grayed). > > It should be grayed out already. It's not on my machine: At least I am not able to see any difference. Rico ____________________________________________________________________________ darktable user mailing list to unsubscribe send a mail to darktable-user+unsubscr...@lists.darktable.org
