Re: [PATCH] Highlight color for bright text.

[Hans Breuer <hans breuer org>]

At 27.04.2012 00:25, Paul Chavent wrote:
> Le 04/26/2012 10:35 PM, Hans Breuer a Ãcrit :
> > > > At least I am ambivalent if we should replace the one single hard-coded
> > > > color with just two hard-coded colors. A better idea might be to derive
> > > > both these colors from the theme as discussed in
> > > > https://bugzilla.gnome.org/show_bug.cgi?id=599447#c3
> > >
> > > Do you mean the "desktop" theme ? I'm not sure that it has any effect on
> > > this problem...
> > Not without some coding, yes;) The original idea from Lars - as far as
> > I've understood it - was to replace the highlighting approach with a full
> > blown edit control, which than of course could follow the GTK+ theme also
> > used for other edit controls in Dia.
> You mean a "popup widget" like the one for editing properties !?
Not quite. The idea was not to have a dialog (like for editing properties) 
but just a single widget.
See: https://bugzilla.gnome.org/show_bug.cgi?id=151115

> Have you an exemple of a "full blown edit control" (a gtk app that use it) ?
Nope.

> > > > BTW: any news on your "sozi" feature?
> > > > [ https://mail.gnome.org/archives/dia-list/2011-November/msg00031.html ]
> > >
> > > I'm curently use it "as is". I haven't done many improvments...
> > Sorry to hear that you seem to have given up the goal of inclusion with
> > standard Dia.
>
> I haven't give up, the task is in background. I've a lot of other running
> task. Don't worry i will bother you again with sozi :)
Ok, fine ;)

        Hans

-------- Hans "at" Breuer "dot" Org -----------
Tell me what you need, and I'll tell you how to
get along without it.                -- Dilbert