Re: gnome-terminal-extensions

[Christian Rose <menthos menthos com>]

Cristiano De Michele wrote:
> 2) Switch to other terminals using:
>    - Shortcuts:
>        SHIFT-Right: next terminal
>        SHIFT-Left:  previuos terminal
>        CTRL-<n> where n=0....9: switch to n-th terminal straight
>    - buttons on the bottom of the screen (which I called "buttonbar")
>    - buttons in the toolbar
>    - Clicking on notebook tabs (bookmarks)
>    - using notebook popup menu (right click on tabs)
> 3) Change of the title of a terminal (notebook label text) using:
>    - buttons on the bottom of the screen (buttonbar)
>    - buttons in the toolbar
>    - menubar (File)
>    - Shortcut:
>        CTRL-F1
> 4) Creation of new terminals using:
>    - buttons on bottom of the window (buttonbar)
>    - popup menu (Right Clicking on the terminal)
>    - menubar
>    - Shortcuts:
>        CTRL-l r: root shell
>        CTRL-l n: bash shell
>        CTRL-l m: Midnight Commander

Unfortunately I haven't had time to try this out, so I only had a look
at the screenshot (http://multignometerm.sourceforge.net/gt_stable.gif),
and I now have some questions/comments. They are almost all related to
the buttons at the bottom.

* First of all, why are these controls buttons at the bottom? I think
making these controls standard icons, on a standard toolbar at the top,
has many advantages.

* Also, I don't see the need for the Previous and Next buttons. What do
these accomplish that clicking on the tabs don't? Judging from the
screenshot, I think they could probably safely be removed from the
interface to reduce the number of buttons/icons. On the same time,
having them available in a menu is probably useful.

* I think that all button actions should be available also from the
menus somehow, so that you can accomplish all actions also from the
menus.

* Why does the "remove" button have a terminal icon? I think a delete
icon of some kind would be a better choice.

* Is the "Title" button needed? I assume that this is intended for
changing the title of the current terminal window. But is this a very
common action, so common that a button of its own is needed? Given that
what I suspect this button does is correct, I think only making it an
option in some menu is enough.


Just my personal opinions of course, and don't let them scare you. I
think your extensions to the terminal are very welcome by many
experienced terminal users, including me. Keep up the good work!


Christian