Sweet Home 3D Forum - View Thread

Sweet Home 3D Forum - Support and Discussions

Sweet Home 3D · 2024-01-01T00:00:00Z

Join the discussion about Sweet Home 3D, ask questions, share your projects, and get support from the community.


	Documentation


	Support


	About

Sweet Home 3D Forum

No member browsing this thread

Thread Status: Active
Total posts in this thread: 3

[ ]

Author

This topic has been viewed 3008 times and has 2 replies

DenisS
Member

France
Joined: Mar 13, 2012
Post Count: 32
Status: Offline


Couleur du menu

Bonjour,

Je suis sous Ubuntu 12.04 (64 bits), et avec le thème par défaut (Ambiance), le menu de SH3D est très difficilement visible.

Est-il possible de changer la couleur de la police du menu (si je change de thème, le fond du menu est plus clair, mais j'aimerais conserver le thème actuel) ?

[Jun 27, 2012, 6:28:48 PM]

[Link]

Puybaret
Expert

France
Joined: Nov 7, 2005
Post Count: 9430
Status: Offline


Re: Couleur du menu

C'est en effet embêtant. Malheureusement, ça n'est pas moi qui choisit ces couleurs, et elles viennent du système.
Est-ce qu'il est possible de remonter ce problème à l'équipe qui s'occupe de Java et/ou d'Ubuntu si ça n'est pas déjà fait ? Si vraiment personne ne veut s'en occuper, j'essaierai alors de traiter ce cas dans Sweet Home 3D.
----------------------------------------
Emmanuel Puybaret, Sweet Home 3D creator

[Jun 29, 2012, 7:58:05 AM]

[Link]

DenisS
Member

France
Joined: Mar 13, 2012
Post Count: 32
Status: Offline


Re: [Résolu] Couleur du menu

Merci Emmanuel,

Ta réponse m'a encouragé à chercher un peu plus (puisque le problème n'est pas du fait de SH3D), et j'ai trouvé la solution ici.

Pour les non-anglophones, il s'agit de modifier la ligne 338 du fichier /usr/share/themes/Ambiance/gtk-2.0/gtkrc.
La ligne d'origine est :

style "menu" {

il faut la transformer en :

style "menu" = "dark" {

Les menus déroulés ont ensuite un fond sombre, au lieu du fond gris-clair, mais c'est en accord avec le thème.

Voilà, si ça peut aider quelqu'un smile

[Jun 29, 2012, 12:04:23 PM]

[Link]

Current timezone is GMT
Jul 15, 2025, 9:42:42 AM