Retourner au contenu associé (lien : dte : un autre éditeur de texte normal)
Posté par Psychofox (Mastodon) le 05 mai 2024 à 13:58. En réponse au lien dte : un autre éditeur de texte normal. Évalué à 4.
Pourquoi ne pas utiliser les éditeurs de texte des interfaces graphiques justement si vous y voulez leurs raccourci claviers? Les terminaux ne se sont jamais imposés ce genre de limitations.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Sans vouloir faire mon vieux con...
Posté par Psychofox (Mastodon) . En réponse au lien dte : un autre éditeur de texte normal. Évalué à 4.
Pourquoi ne pas utiliser les éditeurs de texte des interfaces graphiques justement si vous y voulez leurs raccourci claviers? Les terminaux ne se sont jamais imposés ce genre de limitations.