mono/monodevelop — pull request #626 by lukaszunity (2014-08-08 05:39:46+00:00)
Title: Fix issue with the same file being 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.