[MonoDevelop] [PATCH] Source Editor

[Jeffrey Stedfast]

Seems to be a slight bug with this patch in that even if you disable
"show glyphs for control chars", the next time you start up, it will
show the glyphs even though the option is unchecked.

Jeff

On Tue, 2007-04-24 at 21:07 +0200, David Makovský (Yakeen) wrote:
> Hi,
> 
> I solved the fixed color for drawing, now it uses text colors from
> widget style. It should be enough.
> 
> May I commit it?
> 
> Regards,
> David Makovský (Yakeen) <yakeen at sannyas-on.net>
> 
> 
> David Makovský (Yakeen) píše v Ne 22. 04. 2007 v 13:29 +0200:
> > Hi,
> > 
> > proposing a patch that brings two visual improvements to source editor.
> > 
> > First functionality allows enabling actual line highlighting when
> > installed sourceview library supports it.
> > 
> > Second one using cairo (as we depend now on Gtk+ 2.8) to add possibility
> > to draw control characters (spaces, tabs, line ends).
> > 
> > The only think I dislike is that color for drawing these chars is
> > hardcoded now. Does someone know an elegant way how to choose some
> > complement color to textview default background? Or should I let user
> > choose that color?
> > Any other comments are welcomed.
> > 
> > Regards,
> > _______________________________________________
> > Monodevelop-list mailing list
> > Monodevelop-list at lists.ximian.com
> > http://lists.ximian.com/mailman/listinfo/monodevelop-list
> 
> _______________________________________________
> Monodevelop-list mailing list
> Monodevelop-list at lists.ximian.com
> http://lists.ximian.com/mailman/listinfo/monodevelop-list