[MonoDevelop] Tip of the day

Jacob Ilsø Christensen jacobilsoe at gmail.com
Mon Dec 18 11:46:07 EST 2006

On 12/15/06, Michael Hutchinson <m.j.hutchinson at gmail.com> wrote:
> 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

Yes, that's what I meant. :-)

> :) 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

More information about the Monodevelop-list mailing list