On Sunday 05 January 2003 02:25 am, Jeremy Tan wrote:
> On Sat, 4 Jan 2003 22:46:55 -0600, "Scott C. Linnenbringer"
>
> <[EMAIL PROTECTED]> wrote :
> > Secondly, I want to customize the theme. I've decided to use Metacity,
> > but I assume I have to use a GTK theme, too, to get the themed
> > menub
On Sun, 2003-01-05 at 08:25, Jeremy Tan wrote:
> More GNOME themes are available at http://art.gnome.org. I personally
> use the mist engine, available at
> http://primates.ximian.com/~dave/mist/.
> It comes with both the GTK and GTK2 themes. It makes minor changes
> to the way the UI looks inste
Le dim 05/01/2003 à 05:46, Scott C. Linnenbringer a écrit :
> Secondly, I want to customize the theme. I've decided to use Metacity, but I
> assume I have to use a GTK theme, too, to get the themed menubar, buttons,
> boxes, et cetera. I've been able to use apt to download some themes, but all
On Sat, 4 Jan 2003 22:46:55 -0600, "Scott C. Linnenbringer"
<[EMAIL PROTECTED]> wrote :
> Secondly, I want to customize the theme. I've decided to use Metacity,
> but I assume I have to use a GTK theme, too, to get the themed
> menubar, buttons, boxes, et cetera. I've been able to use apt to
> do
On Sat, Jan 04, 2003 at 10:46:55PM -0600, Scott C. Linnenbringer wrote:
> I'm very impressed with GTK2 and GNOME, and am indeed thinking about
> switching from KDE, but what is the best way to do so in Debian?
> Should I just use update-alternatives to change the window manager
> and point my disp
I'm very impressed with GTK2 and GNOME, and am indeed thinking about switching
from KDE, but what is the best way to do so in Debian? Should I just use
update-alternatives to change the window manager and point my display manager
to GNOME, or is there more I have to do?
Secondly, I want to cust
6 matches
Mail list logo
