[MonoDevelop] [PATCH] Source Editor

[Lluis Sanchez]

Also, those options should be disabled by default, at least the "show
control chars" option.

El dj 26 de 04 del 2007 a les 23:30 +0200, en/na David Makovský (Yakeen)
va escriure:
> Hi Michael,
> 
> Michael Hutchinson píše v Čt 26. 04. 2007 v 17:40 +0100:
> > On 4/24/07, David Makovský (Yakeen) <yakeen at sannyas-on.net> wrote:
> > > Hi,
> > >
> > > I solved the fixed color for drawing, now it uses text colors from
> > > widget style. It should be enough.
> > 
> > Nice work!
> > 
> > There are a couple of possible issues I noticed.
> > * I don't like the antialiasing on the lines -- they look very fuzzy.
> > Would it be possible to snap them to pixels like font renders do?
> 
> Maybe, this is my first cairo experiment, so cannot say anything
> exaction this. I just tried to experiment with line thickness between
> 0.2 and 0.8 and 0.3 looks best for me even with antialiasing, but more
> people more opinions. Anyway I'll try to experiment on this area.
> 
> > * Would it be possible to make the control chars a different, more
> > subtle colour?
> 
> That is what I wanted to have but I haven't found way how to achieve it.
> The way how is it dome now is that we rely on theme text colors - normal
> and selected. Do you know an algorithm how to do it to be safely
> readable? 
> 
> > * You have a typo: "contol" instead of "control" all over the place,
> > including the UI...
> > 
> Aaah, I'll fix it tomorrow, thanks for pointing out.
> 
> Regards,