Unity-Technologies/monodevelop — pull request #40 by lukaszunity (2014-08-06 11:44:44+00:00)
Title: Fixed issue where the same file could be open twice.

If you have a file A open and then open a solution where file A is in
the user preferences, then file A will be opened twice.