Вы удалили MonoDevelop, и это повлияло на тему? Это странно, но вы можете легко установить mono:
sudo apt-get install mono-complete