Pages : 1
#1 Le 08/08/2007, à 09:50
- hells_dark
Rendre le selecteur d'espaces de travail joli (gtkrc)
Salut,
Dites, je me concocte un nouveau bureau, et je voudrais améliorer l'apparence du selecteur de travail.
Je voudrais surtout diminuer sa hauteur (et pourquoi pas ajouter des bordures..etc)
J'ai lu quelques tutos (sommaires..) pour le gtkrc, mais je ne parviens pas à trouver ce que je veux.
Si quelqu'un a un exemple de classe gtkrc juste pour le selecteur de travail, avec quelques commentaires, j'apprécierais beaucoup.
Merci
En attendant, je lis http://python.developpez.com/cours/pygtktutorial/php/pygtkfr/sec-GTKRcFileFormat.php..
Mais à part modifier la couleur de fond et la police pas grand chose x_x
Dernière modification par hells_dark (Le 08/08/2007, à 09:56)
"You caught me at a strange time in my life."
devianArt - site perso
Hors ligne
#2 Le 08/08/2007, à 10:00
- hells_dark
Re : Rendre le selecteur d'espaces de travail joli (gtkrc)
Je me demande même si on peut modifier la taille de ce widget...
Je vais peut être être obliggé de me faire une image semi transparente pour obtenir ce que je veux
"You caught me at a strange time in my life."
devianArt - site perso
Hors ligne
#3 Le 08/08/2007, à 10:06
- chilperik
Re : Rendre le selecteur d'espaces de travail joli (gtkrc)
Salut,
Pour la taille je pense qu'elle est liée à la hauteur du tableau de bord et donc non modifiable
Fait que le rêve dévore ta vie afin que la vie ne dévore pas tes rêves...
Hors ligne
#4 Le 08/08/2007, à 10:27
- hells_dark
Re : Rendre le selecteur d'espaces de travail joli (gtkrc)
Pour la taille je pense qu'elle est liée à la hauteur du tableau de bord et donc non modifiable
Je ne sais pas.
Quelqu'un sait quel type de widget c'est, le selecteur ?
GtkButton, .. ?
Ca serait déjà un pas en avant..
J'ai trouvé tout plein de propriétés qu'on peut changer : http://live.gnome.org/GnomeArt/Tutorials/GtkThemes/StyleProperties (quel bazar..)
Dernière modification par hells_dark (Le 08/08/2007, à 10:40)
"You caught me at a strange time in my life."
devianArt - site perso
Hors ligne
#5 Le 08/08/2007, à 10:49
- hells_dark
Re : Rendre le selecteur d'espaces de travail joli (gtkrc)
hum, j'avance :
style "pager" {
xthickness = 2
ythickness = 2
#bg[NORMAL] = "#b3d4ff"
#bg[PRELIGHT] = "#b3d4ff"
#fg[PRELIGHT] = "#b3d4ff"
#fg[ACTIVE] = "#b3d4ff"
}
widget "*WnckPager" style "pager"
J'ai localisé le style du sélécteur.
(source : http://ubuntuforums.org/showthread.php?t=377397&page=6)
C'est déjà ça
Dernière modification par hells_dark (Le 08/08/2007, à 12:16)
"You caught me at a strange time in my life."
devianArt - site perso
Hors ligne
#6 Le 08/08/2007, à 20:02
- hells_dark
Re : Rendre le selecteur d'espaces de travail joli (gtkrc)
Zut, ça a pas l'air de marcher >_<
"You caught me at a strange time in my life."
devianArt - site perso
Hors ligne
#7 Le 08/08/2007, à 20:10
- chilperik
Re : Rendre le selecteur d'espaces de travail joli (gtkrc)
Désolé je ne peux pas plus t'aider ... déjà que je t'ai pas aidé du tout
Bon courage !!
(si tu trouves je suis preneur)
Fait que le rêve dévore ta vie afin que la vie ne dévore pas tes rêves...
Hors ligne
Pages : 1