Tooltips on idle.
Tooltips on idle.

This is currently ugly because we get errors in the minibuffer when
we're not on an identifier.

fsharp/xamarin-monodevelop-fsharp-addin,Ming-Tang/fsharpbinding,fsharp/fsharpbinding,Ming-Tang/fsharpbinding,fsharp/xamarin-monodevelop-fsharp-addin,fsharp/fsharpbinding,fsharp/fsharpbinding,nosami/xamarin-monodevelop-fsharp-addin,nosami/xamarin-monodevelop-fsharp-addin,Ming-Tang/fsharpbinding