Re: [vimplugin-devel] [vimplugin_eclipse] change font?

[David F. <fis...@ia...>]

 

> -----Original Message-----
> From: vim...@li... 
> [mailto:vim...@li...] On 
> Behalf Of Martin Gruner
> Sent: Thursday, April 12, 2007 7:18 AM
> To: vim...@li...
> Subject: [vimplugin_eclipse] [vimplugin-devel] change font?
> 
> Hi everybody,
> 
> I just learnt about the vimplugin.
> A first question: Is there a way to change the font of the 
> vim window in eclipse?

Once it is loaded up, you can change it the "Vim" way, can't you?

I typically do it this way (using gvim)
:set guifont=*

Then choose a font using the dialog that pops up (make sure you choose a
fixed-type font.
Then type:
:set

In my case I see:
guifont=Bitstream_Vera_Sans_Mono:h11:b:cANSI

I have never actually tried setting the font in a console vim, but that can
be asked on the Vim users list.

HTH,
Dave