Re: Control of font via syntax highlighting

On 21/10/13 12:18, Christian Brabandt wrote:
> On Mon, October 21, 2013 04:22, Suresh Govindachar wrote:
>>
>> Hello,
>>
>> Syntax highlighting allows controlling not only the color of the font
>> but also whether it is bold, italicized, or underlined (to see this, set
>> file type to html and write lines bracketed by no tag, <b>tag</b>,
>> <i>tag</i>, and <u>tag</u>).
>>
>> Based on the last para of ":help highlight-font", I think it is not
>> possible to use different font sizes in different parts of the document,
>> but I thought I would ask anyway:
>>
>> Question: is it possible to use different sized fonts in different
>> parts of the document?
>
> It is possible, but it looks awkward and Vim might behave confusing.
>
> regards,
> Christian
>

No, it is not possible, or at least, it is strongly discouraged. This is
the last paragraph under ":help highligh-font":

> All fonts used, except for Menu and Tooltip, should be of the same
> character size as the default font! Otherwise redrawing problems will
> occur.

The "Menu" and "Tooltip" highlight groups are only supported by the
Motif and Athena GUIs.

In GTK2, what I see is the following:
- Setting the font= attribute for the Normal group sets 'guifont' and
vice-versa, this setting the font for _all_ edit text;
- Setting a font= attribute in any other group has no effect.

I'm less sure of how other GUI flavours react to it, but anyway (with
the exception of Menu and Tooltip in Motif and Athena) I think the
conclusion is that you shouldn't do it.

Best regards,
Tony.
--
Experience is what you get when you were expecting something else.

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