On Thu, 23 Jan 2003, Dario Lesca wrote: > ----- Original Message ----- > From: "Michael Kuss" <kuss@pi.infn.it> > > > > Edit -> Current Profile -> Scrolling > > > > Ok, thanks, but I meant the number of lines of the dimension > of the window, not of the number of lines saved into scroll buffer... Oops, sorry. I assume you know about e.g. --geometry=80x24. There is also the COLORTERM env variable, but I don't know if this one is taken by gnome to setup the menu icons. Michael -- Psyche-list mailing list Psyche-list@redhat.com https://listman.redhat.com/mailman/listinfo/psyche-list
