[MonoDevelop] Tip of the day

[Michael Hutchinson]

On 12/14/06, Jacob Ilsø Christensen <jacobilsoe at gmail.com> wrote:
> Sounds like a good idea! As of now the tip of the day is shown in a
> TextView which doesn't support markup as far as I know. Should we use
> a label instead?

TextView certainly supports markup, it's just a lot more complicated
:) See http://developer.gnome.org/doc/API/2.0/gtk/TextWidget.html for
info. However, a label would probably be easier if we don't need this
power. IIRC, GtkSourceView itself is built on top of TextView.

-- 
Michael Hutchinson
http://mjhutchinson.com