Re: sessionoptions not restore filetype detection ??

Le mercredi 24 avril 2019 21:18:18 UTC+2, Tony Mechelynck a écrit :
> On Tue, Apr 23, 2019 at 6:02 PM <nivaemail@gmail.com> wrote:
> >
> > Hi,
> >
> > Using mksession file and these sessionoptions, I don't see why vim does not restore filetype detection after reloading .vim files for example.
> >
> > Thank you
> > NiVa
> >
> > " set sessionoptions=help,resize,winpos,winsize
>
> After having a look at that 'sessionoptions' setting and its many
> variations (none of those you set BTW, relate to filetype detection),
> there's nothing about filetype detection that strikes my eyes.
> However, ISTR that "vim -S" sources your vimrc before the session
> file, so any "filetype" statement in your vimrc (or, nowadays, the
> "filetype plugin indent on" statement in defaults.vim if you don't
> have a vimrc) will be executed as well. Are you the kind of person who
> changes filetype detection settings (to something else than what your
> vimrc had set) long after Vim has started, and expects them to stay
> that way even after a reload? Then you have a most unusual use case.
>
> Best regards,
> Tony.

Hi Tony,

What I simply notice is that when I comment on this line in my _vimrc:
"set sessionoptions = help, resize, winpos, winsize

Then, the detection of file types works properly.

When I uncomment this line, the detection of file types no longer works.


PS: Sorry but I did not understand everything about where you wanted to take me about the kind of person I am.

PS2: I know this mksession line does not contain anything related to file type detection

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