Skip site navigation (1) Skip section navigation (2)

Re: Bug#278644: pgadmin3: 'Log level' frame in

From: Raphaël Enrici <blacknoz(at)club-internet(dot)fr>
To: Andreas Pflug <pgadmin(at)pse-consulting(dot)de>
Cc: jlg(at)dds(dot)nl, pgadmin-hackers(at)postgresql(dot)org
Subject: Re: Bug#278644: pgadmin3: 'Log level' frame in
Date: 2004-10-28 20:19:04
Message-ID: (view raw, whole thread or download thread mbox)
Lists: pgadmin-hackers
Andreas Pflug wrote:
> blacknoz(at)club-internet(dot)fr wrote:
>>> Nope, this doesn't solve the problem. However, I had a hunch and 
>>> tried changing
>>> my metacity theme. Strangely, some themes do show the frame's content 
>>> (Simple,
>>> Crux, Default, Grand Canyon, Mist, Ocean Dream, Smokey Blue, Sphere 
>>> Crystal,
>>> Traditional) but quite a few do not (Amaranth, Glider, Gorilla, 
>>> Industrial,
>>> Lush, Nuvola, Wasp).
> Um, demasking myself as beeing not too familiar with fancy desktop 
> themes, where do I find these, how do I select them with KDE?

Hi Andreas,
in fact I think they are gnome themes.
Under Debian, install the package "gnome-themes-extras" and log in under 

The themes are selectable from the gnome panel:
Applications -> Desktop preferences -> Themes

I confirm that the "logging" panel is unviewable under certain 
conditions. At least, the Gorilla theme makes it disappear... :(
"Guepe" does the same thing...
Really strange... And this is "dynamic":
if you let the window opened and change the theme, the logging panel 
disappears or reappears "on the fly" (both the selectable and text 

Can someone check this on another linux distro please ? Maybe I missed 
something when I released the pga3 packages...


In response to


pgadmin-hackers by date

Next:From: Raphaël EnriciDate: 2004-10-28 20:33:11
Subject: Re: Bug#278644: pgadmin3: 'Log level' frame in
Previous:From: blacknozDate: 2004-10-28 16:06:28
Subject: Re: Bug#278644: pgadmin3: 'Log level' frame in options dialog is empty

Privacy Policy | About PostgreSQL
Copyright © 1996-2017 The PostgreSQL Global Development Group