On Mon, Jun 3, 2024 at 9:21 AM IOhannes m zmoelnig zmoelnig@iem.at wrote:
well, if your (GUI) preferences still work, then it did :-)
cool. preferences look familiar and get saved. my (false) assumption was that this might also be the fallback in action.
cheers, ben