Retourner au contenu associé (entrée de forum : Gnome Characters vs Gnome Gucharmap ?)
Posté par Gil Cot ✔ (site web personnel, Mastodon) le 29 mai 2022 à 19:53. En réponse au message Gnome Characters vs Gnome Gucharmap ?. Évalué à 2.
gedit -> texteditor : pas encore testé mais plus simple.
Tiens, on en avait parlé ici → https://linuxfr.org/users/ysabeau/liens/quoi-de-neuf-dans-gnome-42-sortie-prevue-le-23-mars-2022#comment-1886692
"It is seldom that liberty of any kind is lost all at once." ― David Hume
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Respect des HIG sans doutes
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Gnome Characters vs Gnome Gucharmap ?. Évalué à 2.
Tiens, on en avait parlé ici → https://linuxfr.org/users/ysabeau/liens/quoi-de-neuf-dans-gnome-42-sortie-prevue-le-23-mars-2022#comment-1886692
"It is seldom that liberty of any kind is lost all at once." ― David Hume