I installed Ubuntu 18.04 and reproduced the problem.  Until seeing your 
post, I thought it was a gnome-terminal problem, because it does not occur 
for me with xterm, though I didn't try hard.  xterm tends to be the least 
buggy emulator IME, perhaps because it has a rigorous test environment.

A workaround is to start the gui early, by putting a "gui" command in 
.vimrc.  Back in 2018 there were a few folks using similar workarounds.

Regards, John Little


-- 
-- 
You received this message from the "vim_dev" 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_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to vim_dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/vim_dev/2e6fa593-bd6a-48e4-91a5-1254bf2a42b3n%40googlegroups.com.

Reply via email to