Seems others have had various issues-
http://wordpress.org/support/topic/visual-editor-wordpress-31?replies=15
I found my way to the wp_options file in phpMyAdmin, but I have no idea what to do once I'm in there. I'm afraid to touch it. How would I safely open that file to look for that dastardly colon and do any editing? I REALLY need my visual editor back, I've been without it for a long time...
I looked at my general settings on site but the only colon I find is the one after http:, I presume that has to remain there?