|
|
|
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) |
|
|
|