> > > Anyway, I think that entire block should actually be moved out
> > > into a separate "GXditview-color" app-defaults file. That's the
> > > more traditional way of handling color customizations, since the
> > > colors are not necessary as builtin fallbacks, and everybody can
> > > specify th
Hi Miklos,
> > I don't understand why you emailed us an iamge of a web browser
> > instead of telling us the URL or pasting in the page's content?
>
> Because it saved you getting to the web page. Because it contained
> the URL in case you wanted to check. Because it did not occur to me
> that i
