i don't think bug report is a good place for starting a discussion like this but anyway. i just wanted to say that i can no more reproduce the problem after that change in wulformanager.cc. i could be lucky or it really solved the issue. others having issues with gui: you might want to try that too.
i don't think bug report is a good place for starting a discussion like this but anyway. i just wanted to say that i can no more reproduce the problem after that change in wulformanager.cc. i could be lucky or it really solved the issue. others having issues with gui: you might want to try that too.