l'entrée du menu gnome c'est moi qui l'ai faite ;)
J'ai juste décompacté l'archive de freemind que j'ai placé dans /opt/freemind, je lance freemind.sh
J'ai juste remarqué que lorsque c'est lancé en dehors d'un terminal ça émule le thème gnome, et que sinon ça prend un thème par défaut, mais je ne sais pas à quoi c'est dù... En tout cas ça m'arrangerai de pouvoir le provoquer :).
ce commentaire est sous licence cc by 4 et précédentes
[^] # Re: Comment est lancé freemind ?
Posté par Thomas Debesse (site web personnel, Mastodon) . En réponse au message Application java : choisir le thème. Évalué à 2.
J'ai juste décompacté l'archive de freemind que j'ai placé dans /opt/freemind, je lance freemind.sh
J'ai juste remarqué que lorsque c'est lancé en dehors d'un terminal ça émule le thème gnome, et que sinon ça prend un thème par défaut, mais je ne sais pas à quoi c'est dù... En tout cas ça m'arrangerai de pouvoir le provoquer :).
ce commentaire est sous licence cc by 4 et précédentes