On 22/10/13 14:23, Christian Brabandt wrote:
> On Tue, October 22, 2013 03:44, Suresh Govindachar wrote:
>> Good that it is possible -- but how exactly (I am on Windows)? The
>> awkwardness and other issues might be OK for my purposes.
>
> hi Normal ... font=Courier_New:h10:cANSI
> hi Special ... font=Consolas:h12:cANSI
> hi Ignore ... font=Courier_New:h14:cANSI
>
> replace ... by the usual highlighting attributes you need
> (e.g. guifg=... ctermfg=..., etc)
>
>> > No, it is not possible,
>
> As I said, it is possible.
Which GUI are you using? I'm on GTK2/GNOME2 and an experiment that I did
showed that font= is ignored anywhere other than for the Normal group,
and that there it is equivalent with 'guifont'. IOW, adding font= either
changes nothing, setting no font, or (for Normal) sets the font everywhere.
>
>> Does the conclusion assume that one wants to continue using Vim
>> as an editor while using different sized fonts? My purpose is just
>> to have Vim create a display, with different parts of the display
>> being of different font sizes.
>
> Depends on what exactly you want. It works more or less ok, if the font
> size doesn't vary too much, because otherwise, since the character cells
> do not change, the font might look to wide or too narrow.
>
> Best,
> Christian
>
Best regards,
Tony.
--
Nowlan's Theory:
He who hesitates is not only lost, but several miles from
the next freeway exit.
--
--
You received this message from the "vim_use" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups "vim_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
No comments:
Post a Comment