Robert Cussons wrote:
Robert Cussons wrote:


Peter Hodge wrote:

Some GUIs will allow you to use the command

  set guifont=*

Which brings up a font selection window. If that works, you can select a font
and then use

  set guifont

to find out exactly what to add to your .vimrc

regards,
Peter

--- Yakov Lerner <[EMAIL PROTECTED]> wrote:


On 7/31/06, Robert Cussons <[EMAIL PROTECTED]> wrote:

I just installed vim 7 on my linux system at work (more specifically
debian sarge running KDE 3.3) and I get a few funny things happening. It is installed in my home/bin directory as I don't have root permissions.
All comments seem to come out underlined and the fonts for everything
including the menus are different to before, I don't know how to check
the current font setting, but when I type :set, there doesn't seem to be
anything that would have changed the font listed. Anyone had the same
problems?


:set guifont?

Yakov




Send instant messages to your online friends http://au.messenger.yahoo.com


I found out by accident that the font is Monospace 10, so I put the
following line in my .vimrc

set guifont=Monospace\ 10

but I still get different fonts, I have attached a screenshot of two
gvim sessions, lhs is gvim7, rhs is gvim6.3, if you look at the bottom
of each window is sets the font as I have just executed :set guifont? in
each of the windows. They have both accessed and read the .vimrc it
would seem, so what is wrong?

Any help would be greatly appreciated, this is becoming mildly
frustrating :-)

Rob.

I just got this e-mail bounced back, turns out I can't send a .png file to the group, don't have any ideas how else to show it to anyone that cares :-( and could help :-)






If you have a home site somewhere where you have upload permissions, load it there, then send the URI to the list in an email.

If you don'y yet have a home site, find out if you can get one (for free or for a nominal fee) from your ISP.

If you don't yet have an Internet account other than at your job, find out at which conditions you can get one at home. Try your phone company first, and also your cable-TV company if you have one.


Best regards,
Tony.

Reply via email to