Pages : 1
#1 Le 02/08/2007, à 21:43
- alexduf
[Résolu] Récupérer icones gnome
Bonjour,
Je suis actuellement en train de développer un player pour ubuntu (pour en savoir plus c'est par là : http://forum.ubuntu-fr.org/viewtopic.php?id=120825)
Mon problème (bon ok UN de mes problèmes ^^) est le suivant : est-il possible d'accéder via une API quelconque aux ressources partagées de type images pour aller chercher par exemple l'icône standard du bouton play ?
Je pourrais bien évidemment la récupérer à la main et l'inclure dans mon soft, mais j'aimerais coller le plus possible au thème installé.
Le but étant de récupérer les icones play next previous etc...
je ne sais pas si je suis très clair
si par le plus grand des hasard une API de ce genre existe (gtk ?) existe-t-il un portage vers java?
parce que moobu (le programme) fonctionne bien mais il lui manque encore une ou deux choses pour être un peu sexy :
Dernière modification par alexduf (Le 20/08/2007, à 17:10)
Hors ligne
#2 Le 20/08/2007, à 13:05
- alexduf
Re : [Résolu] Récupérer icones gnome
personne?
Hors ligne
#3 Le 20/08/2007, à 16:51
- bipede
Re : [Résolu] Récupérer icones gnome
gtk possède des constantes de type GTK_STOCK_* qui pointent vers les icônes du système.
Voir le lien suivant : http://library.gnome.org/devel/gtk/unst … Items.html
Sous python, quand on réalise un GUI avec pygtk on accède à ces constantes sous la forme gtk.STOCK_* .
Par contre, je ne sais pas si JAVA permet d'y accéder...
Tu aurais du programmer ton appli en python, j'aurais pu t'aider...;)
Desktop: MSI - Intel® Core™ i5-3330 CPU @ 3.00GHz × 4 - RAM 8 go- Kubuntu 21.04 - Système sur SSD 64 Go - /home sur HDD 500 Go.
Laptop: DELL Inspiron-15 3567 - Intel® Core™ i5-7200 CPU @ 2.50GHz × 4 - RAM 8 go - HDD 1 To - Ubuntu 20.10 avec /home séparé.
Mon site: Les contributions du bipède
Hors ligne
#4 Le 20/08/2007, à 17:10
- alexduf
Re : [Résolu] Récupérer icones gnome
ah oui didonc ^^ c'est exactement ce qu'il me falait, merci !
Hors ligne