[MonoDevelop] Small patch to allow separate control charater higlighting

[Fabian Sturm]

Am Montag, den 02.07.2007, 22:05 +0200 schrieb Jacob Ilsø Christensen:

> Is the original behaviour not to have control character highlighting
> off by default?

Yes it definitively is. That