mono/monodevelop — pull request #140 by aBothe (2011-12-16 19:22:46+00:00)
Title: Let 'third-party' tooltip providers create custom tooltip widgets

Made the compilation error tooltip provider not return null if no error data given.
This let other providers be able to draw custom tooltips.