icsharpcode/SharpDevelop — pull request #509 by gumme (2014-07-02 12:42:09+00:00)
Title: Modified precision for element positioning and boundaries to use 0 decimals.

Using parts of a pixel as measure does more harm than good, and both Blend and Visual Studio uses whole pixels for placement and resizing in their editor.