Retourner au contenu associé (lien : Quoi de neuf dans GNOME 42 ? (sortie prévue le 23 mars 2022))
Posté par letuxmasque (site web personnel) le 19 mars 2022 à 19:52. En réponse au lien Quoi de neuf dans GNOME 42 ? (sortie prévue le 23 mars 2022). Évalué à 1.
Je pense que c'est pour garder la compatibilité avec les autres environnements qui ne sont pas encore passés à GTK4...
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Gedit et gnome terminal
Posté par letuxmasque (site web personnel) . En réponse au lien Quoi de neuf dans GNOME 42 ? (sortie prévue le 23 mars 2022). Évalué à 1.
Je pense que c'est pour garder la compatibilité avec les autres environnements qui ne sont pas encore passés à GTK4...