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

[Sebastian M. <seb...@un...>]

Am Donnerstag, den 12.04.2007, 15:39 +0200 schrieb Martin Gruner:
> 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?

Yes it's possible. Here's how the terminal window is created in class
org.vim.vimplugin.editors.VimEditor, l109.

> st=new SwingTerminal(emulation, new Font("Monospaced", Font.PLAIN, 12));

It would be easy to refactor the Font out of that and make it
configurable via the preference page. (at least for new terminals) 

See l.65 in the same file on how to access the preferences and the
package org.vim.vimplugin.preferences on how to handle preferences in
general.

- bastl.