[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