[MonoDevelop] Tip of the day
lluis at ximian.com
Fri Dec 15 06:57:19 EST 2006
I'm wondering, would it be a good idea to show the tip of the day in the
El dv 15 de 12 del 2006 a les 04:10 +0000, en/na Michael Hutchinson va
> 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.
More information about the Monodevelop-list