[vimplugin-devel] change font?

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

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?

Thanks for all hints.

Martin Gruner