> > > 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 their own colors via Xdefaults anyway.
> >
> > Patches are welcome. My knowledge of X11 programming and
> > app-defaults is basically nonexistent.
>
> See the attached files.
Applied, thanks. Please test.
Werner
