I've installed the regular Gnome terminal and using that instead of MATE's terminal. I don't know. MATE is fine, but I might switch to gnome 3 sometime soon. Sometimes there are these really strange bugs.
I've installed the regular Gnome terminal and using that instead of MATE's terminal. I don't know. MATE is fine, but I might switch to gnome 3 sometime soon. Sometimes there are these really strange bugs.