On Tuesday 05 August 2003 19:53, Mikolaj Machowski wrote: > On Tue, Aug 05, 2003 at 05:34:41PM +0200, Jos van den Oever wrote: > > On Tuesday 05 August 2003 13:57, Mikolaj Machowski wrote: > > > But multi-gnome-terminal has :) > > > > gnome-terminal binds to tab traversal and not to scrolling > > up in the terminal history. This last feature is unmissable for many > > developers. > > mgt has maps if you are talking about this. No, I made a mistake: I meant for scrolling one page up. This is the same in konsole and gnome-terminal. Crsm told me that it's possible to use -[ and -] to go one tab to the left or one tab to the right. This mainly solves my problem. Quick access with -1 etc. would still be nice though. Galeon has it too. Binding -1 to showPage(page(0)) etc is of course trivial, but showing the tab numbers when holding down the meta key needs more code. It would be very user friendly though. >> Visit http://mail.kde.org/mailman/listinfo/kde-devel#unsub to unsubscribe <<