Confirmed on my system.
Also confirmed on the forums: http://ubuntuforums.org/showthread.php?t=10918
It seems removing libgtksourceview first will resolve the issue, but it makes you remove MonoDevelop and gedit, among other things, so is somewhat unacceptable.
Confirmed on my system.
Also confirmed on the forums: http:// ubuntuforums. org/showthread. php?t=10918
It seems removing libgtksourceview first will resolve the issue, but it makes
you remove MonoDevelop and gedit, among other things, so is somewhat unacceptable.