Yes it is fixed, but not in Ubuntu packages. It seems 13.04 has the same version of MonoDevelop as 12.10, so it should be still broken. You can try to submit a bug report and see if they update the package to a newer version.
The only workaround I know is to install a newer version of MonoDevelop. To do this, you can either use a PPA or build it yourself.
Using a PPA
A quick search returned this PPA. It provides the latest build of MonoDevelop, so if someone commits some change in the source code, those packages should be rebuilt and updated.
I have not used it, so I can't tell you how stable it is. Also as it offers MonoDevelop 4, during installation your mono runtime should be upgraded as well.
So, if using a PPA is an option and you want to have the latest and greatest MonoDevelop:
sudo apt-add-repository ppa:keks9n/monodevelop-latest
sudo apt-get update && sudo apt-get install monodevelop-latest
Building MonoDevelop by yourself
To build MonoDevelop, you need first to clone their git repo and required modules:
git clone git://github.com/mono/monodevelop.git
cd monodevelop
git submodule init
git submodule update
After that you need to checkout the version you want. I only tried 3.1, but you can select a newer version:
git checkout monodevelop-3.1-series
Next, you need to install the build dependencies. You may want to take note of what will be installed, in case you want to remove them after compilation.
sudo apt-get build-dep monodevelop
Finally, you need to compile it as usual:
./configure --prefix=/usr/local --profile=stable
make -j 4
sudo make install
Note: if you want you can replace make install
with checkinstall
: instead of copying the files to your root filesystem it will create a debian package (which is a lot easier to (un)install) and install it.
sudo checkinstall --pkgname=monodevelop-mygitbuild
Using this if you later need to remove it you just do a sudo apt-get remove monodevelop-mygitbuild
.
At the end, you can run your build of MonoDevelop in a terminal with /usr/local/bin/monodevelop
. If everything works fine you can create a launcher (you can use /usr/share/applications/monodevelop.desktop
as base).