|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
multi-gnome-terminal-doc
multi-gnome-terminal-doc | Enhanced the GNOME Terminal -- documentation files | Priority | |
Section | doc |
Installed size | 3016 |
Maintainer | Mohammed Sameer <debian@foolab.org> |
Architecture | all |
Version | 1.6.2-13 |
Depends | yelp | www-browser |
Suggests | mc |
File name | pool/main/m/multi-gnome-terminal/multi-gnome-terminal-doc_1.6.2-13_all.deb |
Description | Multi Gnome Terminal is an enhanced version of gnome-terminal which has the following features added: . - Many terminals in each window - Switch between terminals using shortcuts - Execution of user defined commands in new terminals - Notification of terminal states (changed, changing, unchanged) using different tabs colors - Reorderable tabs . All this extensions are inspired by screen and konsole (the KDE2 terminal) |
|
|