[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kde-bugs-dist
Subject:    Bug#518: Problems with Resources set from /usr/share/apps/kdisplay/app-defaults/
From:       Ernst Kloppenburg <kloppen () isr ! uni-stuttgart ! de>
Date:       1999-04-19 10:08:47
[Download RAW message or body]

On Mon, Apr 19, 1999 at 11:52:47AM +0200, Harri Porten wrote:
> Ernst Kloppenburg wrote:
> > 
> > Hello,
> > 
> > obviously, there are some people hit by this, and not aware of the
> > fact, that it can be worked around by deselecting 'Apply Fonts and
> > colors to non KDE-Apps' in the Style Options.
> > 
> > Therefore, I suggest that this Option is deselected by default.
> 
> In fact, that has just been done for KDE 1.1.1.
Great!


> 
> > I also suggest that you put a hint in the Options Dialog that KDE
> > has to be restarted to make the option have any effect.
> 
> Good idea. Unfortunately it is too late for the next release due to the
> necessary translations.
> 

Maybe it is also possible to do the thing without restarting KDE
(which is very unpleasant as in MS-Windows).

xrdb has the option '-remove' to remove Properties from the
X-Server. But I were never able to make 'xrdb -remove' do something
useful, everytime I tried it *all* properties were removed.

Another possibility were to get all resources with 'xrdb -query', sort
out those we have set from /usr/share/apps/kdisplay/app-defaults/* and
then load the remaining resources back to the X-server with 'xrdb
-load'. (I would be able to program this as a shell script, but not in
c++)



Best regards, 

E. Kloppenburg


-- 
Ernst Kloppenburg
Institut für Systemdynamik und Regelungstechnik
Universität Stuttgart
Germany

[prev in list] [next in list] [prev in thread] [next in thread]