Carsten Haitzler (The Rasterman) wrote: > On Tue, 24 Jun 2008 15:02:45 +1000 Ben Martin <[EMAIL PROTECTED]> > babbled: > >> On Tue, 2008-06-24 at 02:33 +1000, Carsten Haitzler wrote: >>> On Sun, 15 Jun 2008 20:51:59 +1000 Ben Martin >>> <[EMAIL PROTECTED]> babbled: >>> >>>> Hi, >>>> I'm wondering if anyone else has issues opening the Edit Current >>>> Profile window of gnome-terminal when running E17? The behaviour I am >>>> getting is sometimes the properties window does not open, and when it >>>> does sometimes you can not properly manage or close it. I'm not sure >>>> what g-t would be doing that is so wonderful for this window... >>> works reliably for me all the time? :/ >>> >> $ rpm -qf /usr/bin/gnome-terminal >> gnome-terminal-2.22.2-1.fc9.x86_64 >> >> e17 version 0.16.990.043 (from about dialog) >> pulled from cvs.enlightenment.org:/cvs/e >> > > here: > ii gnome-terminal 2.22.1-0ubuntu2 > > > so give or take - not far off... >
here is gnome-terminal-2.16.0-3.el5 ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://sourceforge.net/services/buy/index.php _______________________________________________ enlightenment-devel mailing list enlightenment-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/enlightenment-devel
