Re: Come si modificano i pulsanti della menubar di gnome?

To: Debian-Italian <debian-italian@lists.debian.org>
Subject: Re: Come si modificano i pulsanti della menubar di gnome?
From: z3ro <z3ro.2@tele2.it>
Date: Sun, 25 Feb 2007 15:41:09 +0100
Message-id: <[🔎] 1172414469.3648.1.camel@d83-190-192-42.cust.tele2.it>
In-reply-to: <[🔎] 357141.34305.qm@web36507.mail.mud.yahoo.com>
References: <[🔎] 357141.34305.qm@web36507.mail.mud.yahoo.com>

Il giorno dom, 25/02/2007 alle 15.31 +0100, Luigi Curzi ha scritto:

> provare a dare "update-menus" (o qualcosa di simile) da console aiuta?

Grazie Luigi, risolto!

Reply to:

References:
- Re: Come si modificano i pulsanti della menubar di gnome?
  - From: Luigi Curzi <luigi_curzi@yahoo.it>

Prev by Date: Re: Crash del sistema durante apt-get install
Next by Date: Re: Come si modificano i pulsanti della menubar di gnome?
Previous by thread: Re: Come si modificano i pulsanti della menubar di gnome?
Next by thread: Re: Come si modificano i pulsanti della menubar di gnome?
Index(es):
- Date
- Thread