In this case, it was probably not the reboot which solved the problem, but the fact that because of the reboot your window manager restarted and re-read the configuration information that had been...
Type: Posts; User: Odat; Keyword(s):
In this case, it was probably not the reboot which solved the problem, but the fact that because of the reboot your window manager restarted and re-read the configuration information that had been...