Re: gnome-terminal

2005-07-18 Thread Jochen Schulz
Willie McKemie: > On Sun, Jul 17, 2005 at 09:08:14PM +0200, Jochen Schulz wrote: > > > > Don't ask me where this stuff is saved in the file system but Gnome uses > > the "gconf" system. Run gconf-editor to get an idea. It looks a bit like > > the Windows registry but Gnome people don't like to hea

Re: gnome-terminal

2005-07-18 Thread Willie McKemie
On Sun, Jul 17, 2005 at 09:08:14PM +0200, Jochen Schulz wrote: > > s/Jochem/Jochen :) JocheN! Got it. > > > or even desktop stuff. I did find the thing under (apparently) > > Nautilus. It was rather obscurely located on my Libranet 2.8.1 > > desktop. I wonder in what files those control pa

Re: gnome-terminal

2005-07-18 Thread Derek Broughton
pressure to > try gnome-terminal, LOL! > so they have no clue, what you were talking about) -- > whenever URL gets to the clipboard by any means (not only from konsole, > which is an equivalent of gnome-terminal) klipper (which is small applet > making life with a clipboard a bre

Re: gnome-terminal

2005-07-18 Thread Derek Broughton
Willie McKemie wrote: > On Sun, Jul 17, 2005 at 01:10:01PM -0400, Eric Cooper wrote: >> On Sun, Jul 17, 2005 at 10:03:46AM -0500, Willie McKemie wrote: >> > A while back, I stumbled on the gnome-terminal feature that allow one >> > to pass a URL to a browser very easi

Re: gnome-terminal

2005-07-17 Thread Matej Cepl
Willie McKemie wrote: > No answer on the KDE/Konqueror question. Maybe Gnome is ahead of KDE > in this area? In KDE this functionality has been for ages, but it is done in slightly different way then in Gnome (I guess, no KDE user ever felt pressure to try gnome-terminal, so they have n

Re: gnome-terminal

2005-07-17 Thread Jochen Schulz
Willie McKemie: > On Sun, Jul 17, 2005 at 01:10:01PM -0400, Eric Cooper wrote: > > > > On my system, using Gnome, I use the > > Applications > Desktop Preferences > Advanced > Preferred Applications > > menu and choose Web Browser. > > Thanks to Eric, Jochem, and Vivek! I am not at all familia

Re: gnome-terminal

2005-07-17 Thread Willie McKemie
On Sun, Jul 17, 2005 at 01:10:01PM -0400, Eric Cooper wrote: > On Sun, Jul 17, 2005 at 10:03:46AM -0500, Willie McKemie wrote: > > A while back, I stumbled on the gnome-terminal feature that allow one > > to pass a URL to a browser very easily; I've become quite a fan

Re: gnome-terminal

2005-07-17 Thread Eric Cooper
On Sun, Jul 17, 2005 at 10:03:46AM -0500, Willie McKemie wrote: > A while back, I stumbled on the gnome-terminal feature that allow one > to pass a URL to a browser very easily; I've become quite a fan of that > feature. However, I have found it nowhere documented. And, I have a

Re: gnome-terminal

2005-07-17 Thread Jochen Schulz
Willie McKemie: > > A while back, I stumbled on the gnome-terminal feature that allow one > to pass a URL to a browser very easily; I've become quite a fan of that > feature. However, I have found it nowhere documented. And, I have a > new install that calls up Konqueror

Re: gnome-terminal

2005-07-17 Thread Vivek Dasmohapatra
On Sun, 17 Jul 2005, Willie McKemie wrote: This is not the right place for this question, but since I'm on this list, I would try anyway. A while back, I stumbled on the gnome-terminal feature that allow one to pass a URL to a browser very easily; I've become quite a fan of th

gnome-terminal

2005-07-17 Thread Willie McKemie
This is not the right place for this question, but since I'm on this list, I would try anyway. A while back, I stumbled on the gnome-terminal feature that allow one to pass a URL to a browser very easily; I've become quite a fan of that feature. However, I have found it nowhere

gnome-terminal fonts on sid

2002-10-13 Thread Jo Geraerts
Hello, I'm unable to change the fonts of gnome-terminal. The current font it uses is to big to fit multiple terminals on my desktop. I can change the font in the profile editor, but the changes don't take effect. When i take a loot in ~/.gconf/apps/gnome-terminal/profiles/Default/%g

gnome-terminal fonts on sid

2002-10-13 Thread Jo Geraerts
Hello, I'm unable to change the fonts of gnome-terminal. The current font it uses is to big to fit multiple terminals on my desktop. I can change the font in the profile editor, but the changes don't take effect. When i take a loot in ~/.gconf/apps/gnome-terminal/profiles/Default/%g