Matt Neuburg wrote (Tue, 3 Feb 2015 18:34:09 -0800):
I click Continue, and the interface has gone crazy: the gutter is suddenly black, and it isn't using my preferred font any more. It's as if all my preferences had been overthrown. m.
I remember something like this happened three or four times in the past on my system, too. But when I closed the window and re-opend it, the interface was back to my usual settings. As far as I remember, I really just closed all windows, without quitting the application.
Kind regards, Tobias Jung