Tuesday, May 23, 2017

Re: "superscript" asterisk is gone!



Den 22 maj 2017 21:32 skrev "Charles E Campbell" <drchip@campbellfamily.biz>:
Tony Mechelynck wrote:
> In Bitstream Vera Sans Mono 8 in gvim 8.0.600 for GTK3 (which I just
> made using "make reconfig" after an update of the python2, python3 and
> IIRC lua packages), U+20F0 is present in the buffer and gvim
> recognises it as a composing character, but its display is easy to
> miss: AFAICT only 3 pixels are in the foreground colour, at top right
> of the character cell, in this shape (shown here by one asterisk per
> pixel):
> **
>  *
>
> When the cursor is on it, ga and g8 give the expected values below the
> status line.
>
Hello:

The glyph doesn't have much to show, but frequently its not showing
anything.  Sometimes when I press ctrl-L for a refresh it will appear.
Sometimes.

When wearing my historical linguistic hat I use a lot of letters with diacritical marks, both combining  and precomposed, and it is common that marks over high letters like caps and k h b d l and below deep letters like g j q y get cut off. Apparently Vim draws each line with an upper and lower border and whatever falls above or below that border is hidden. Follow this link for a feature of Christian's unicode.vim plugin which is very helpful:


It doesn't solve the problem per se, but it shows the name, codepoint, etc. of the (base) character and any combining characters under the cursor.

You can also use matchadd() to make Vim highlight certain characters or character combinations differently. I do that with some Greek characters where certain diacritics are hard to discern.

/bpj


--
--
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/d/optout.

No comments:

Post a Comment