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...