Retourner au contenu associé (lien : Quoi de neuf dans GNOME 42 ? (sortie prévue le 23 mars 2022))
Posté par Adrien Dorsaz (site web personnel, Mastodon) le 20 mars 2022 à 07:12. En réponse au lien Quoi de neuf dans GNOME 42 ? (sortie prévue le 23 mars 2022). Évalué à 3.
Pour gedit, le mainteneur a demandé de retirer son projet du cœur de GNOME.
Or le projet GNOME considère important de proposer un éditeur de texte a ses utilisateurs.
Le nouveau projet leur permet d'en créer un qui suit les recommandations de l'équipe design.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Gedit et gnome terminal
Posté par Adrien Dorsaz (site web personnel, Mastodon) . En réponse au lien Quoi de neuf dans GNOME 42 ? (sortie prévue le 23 mars 2022). Évalué à 3.
Pour gedit, le mainteneur a demandé de retirer son projet du cœur de GNOME.
Or le projet GNOME considère important de proposer un éditeur de texte a ses utilisateurs.
Le nouveau projet leur permet d'en créer un qui suit les recommandations de l'équipe design.