Re: "superscript" asterisk is gone!

Charles Campbell wrote:

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

I suspect the glyph draws pixels outside of the character cell. Vim then
erases them when drawing another character. This has happened with some bold
fonts as well (there is special redrawing logic for that).
You can try moving the cursor in both directions over the character to see what
happens.

--
There are two ways of constructing a software design. One way is to make
it so simple that there are obviously no deficiencies. The other way
is to make it so complicated that there are no obvious deficiencies.
-C.A.R. Hoare

/// Bram Moolenaar -- Bram@Moolenaar.net -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///

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