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

[Martin G. <mg...@gm...>]

Hello David,

thanks for your answer.
My question is still there, though. AFAICT vimplugin embeds the
console vim rather than gvim, so my question is how to set the font of
that _console window_. Is that possible at all, currently?

Best regards,

Martin

am Donnerstag, 12. April 2007 um 15:27 schrieben Sie:

>  

>> -----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