On 30 Jun 2002 15:53:50 -0500
Alex Malinovich <[EMAIL PROTECTED]> wrote:
> Having used the new terminal for two days now, and having just upgraded
> to Gnome 2 last night, I can now actually say that I love the new
> terminal. AFTER I got the configuration out of the way (which had to be
> don
On Sun, 2002-06-30 at 15:35, James D Strandboge wrote:
> > blurred the background image. All in all, it was much, much uglier
> than the
> > earlier versions of gnome-terminal.
> >
> I guess you are using the full gnome2? If not, you should, and use
> gnome-control-center to set the fonts. The
On Fri, 2002-06-28 at 12:57, Steve Juranich wrote:
> Last night, while I was doing my nightly 'apt-get dist-upgrade', I
caught the
> new gnome-terminal package (2.0). I can't help but saying that I
think it
> really stinks. :<
>
Too bad-- I love the tabbed terminals
> It grabbed this huge 100d
On Fri, 2002-06-28 at 17:39, Rick Macdonald wrote:
> I believe the release notes for Gnome-2 say that you have to exit to get
> changes to take effect, and that this will be fixed for the next (minor)
> release. Have a look at the release notes. They say the purposely removed
> many configuration
Alex Malinovich said:
> On Fri, 2002-06-28 at 14:11, Alan Shutko wrote:
>> Alex Malinovich <[EMAIL PROTECTED]> writes:
>>
>> > Is there a config file for this terminal anywhere that I can edit by
>> > hand so I can at least get a working font set up?
>>
>> ~/.gconf/apps/gnome-terminal/profiles/Def
Alex Malinovich <[EMAIL PROTECTED]> writes:
> Are you having any luck getting any changes in there to actually stick?
It's worked so far. I closed all terminals, edited the file in emacs,
and started a new terminal.
--
Alan Shutko <[EMAIL PROTECTED]> - In a variety of flavors!
Sky divers NEVER
On Fri, 2002-06-28 at 14:11, Alan Shutko wrote:
> Alex Malinovich <[EMAIL PROTECTED]> writes:
>
> > Is there a config file for this terminal anywhere that I can edit by
> > hand so I can at least get a working font set up?
>
> ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml
>
> I'm sure
Alex Malinovich <[EMAIL PROTECTED]> writes:
> Is there a config file for this terminal anywhere that I can edit by
> hand so I can at least get a working font set up?
~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml
I'm sure there's some way to get gconftool to do it, but I couldn't
figu
Steve Juranich <[EMAIL PROTECTED]> writes:
> Last night, while I was doing my nightly 'apt-get dist-upgrade', I
> caught the new gnome-terminal package (2.0). I can't help but
> saying that I think it really stinks. :<
I have to admit, it's very rude the way it completely ignores your
setup from
On Fri, 2002-06-28 at 11:57, Steve Juranich wrote:
> It grabbed this huge 100dpi font for the toolbar. There weren't nearly as
> many
> configuration options as in the older version. None of the fonts that I was
> able to choose from looked "right". The 'translucent background' option also
>
On Fri, Jun 28, 2002 at 09:57:18AM -0700, Steve Juranich wrote:
| Last night, while I was doing my nightly 'apt-get dist-upgrade', I
| caught the new gnome-terminal package (2.0).
Oh, it's availble? Cool! I'm hoping it fixes the unicode display
problems (rather, lack thereof) in 1.4.
| I can't
I usually stick to IceWM and xterm. In my book, they have yet to improve
on xterm. All the other terminals don't even handle logging, to my knowledge.
With xterm, I can use my .Xdefaults file on every *nix in existence. Both KDE
and Gnome have their own systems instead of respecting X resource
begin Steve Juranich quotation:
> Last night, while I was doing my nightly 'apt-get dist-upgrade', I caught the
> new gnome-terminal package (2.0). I can't help but saying that I think it
> really stinks. :<
I got the new gnome-terminal yesterday too, but I haven't actually run
it yet. Thank
13 matches
Mail list logo
