[MonoDevelop] [PATCH] Source Editor

[David Makovský (Yakeen)]

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,
-- 
David Makovský (Yakeen) <yakeen at sannyas-on.net>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: editor.png
Type: image/png
Size: 84997 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/monodevelop-list/attachments/20070422/6afc4352/attachment-0001.png 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SourceEditor.patch
Type: text/x-patch
Size: 14907 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/monodevelop-list/attachments/20070422/6afc4352/attachment-0001.bin