Sauf que ça reste assez lourd à utiliser, le terminal vit souvent plus longtemps que l'éditeur de texte, et il n'y a pas d'onglets dans le terminal de gedit.
Ensuite, le terminal de gedit n'a pas été "pensé", je l'ai juste implémenté pour faire cesser les bug reports, apparemment des gens se servent de ce genre de trucs. (pour ma part je ne me sers que de terminaux externes)
[^] # Re: Quelques précisions
Posté par nud . En réponse au journal GNOME3: après le shell, les applications ?. Évalué à 3.
Sauf que ça reste assez lourd à utiliser, le terminal vit souvent plus longtemps que l'éditeur de texte, et il n'y a pas d'onglets dans le terminal de gedit.
Ensuite, le terminal de gedit n'a pas été "pensé", je l'ai juste implémenté pour faire cesser les bug reports, apparemment des gens se servent de ce genre de trucs. (pour ma part je ne me sers que de terminaux externes)