On Monday, April 15, 2019 at 8:25:39 PM UTC+1, Tony Mechelynck wrote:
> On Mon, Apr 15, 2019 at 9:00 PM Jeenu wrote:
> >
> > On Monday, April 15, 2019 at 7:18:03 PM UTC+1, Tony Mechelynck wrote:
> > > On Mon, Apr 15, 2019 at 5:24 PM Jeenu wrote:
> > > >
> > > > Sometimes, after I attach to a tmux session, visual selection in an already-running vim instance is shown as underlined instead of reversed. See the attached files for the difference; both are from the same host - one from new, and the other from existing session. The only way out I've found is to quit and launch vim again. Does any one know why this happens and/or how to fix it?
> > > >
> > > > This is the same problem as someone had posted a while ago: https://superuser.com/questions/1186500/vim-visually-selected-text-sometimes-appears-as-underlined-not-reversed
> > > >
> > > > Thanks,
> > > > Jeenu
> > >
> > > I don't know why it happens but I know how to find out: next time the
> > > problem happens, and after making sure Vim is in Normal mode (this
> > > will usually mean hitting <Esc>, which will clear the Visual
> > > highlighting) type
> > >
> > > :verbose hi Visual
> >
> > I've attached screen shots capture of running the command two sessions. The output of the hi command shows reversed mode in both sessions.
> >
> > Also, both sessions say background is dark.
> >
> > Not sure what to make of these.
> >
> > Jeenu
> >
>
> The right-hand screenshot (with underlining) shows that the highlight
> was set by the "desert" colorscheme.
>
> :colors default
>
> will clear that.
Switching color scheme didn't have any effect, if that's what you were suggesting.
--
--
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.
Monday, April 15, 2019
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment