2017-12-16 16:37 GMT+03:00 Bram Moolenaar :
>
> Nikolay Pavlov wrote:
>
>> 2017-12-15 22:09 GMT+03:00 Bram Moolenaar :
>> >
>> > Many plugins set options to a different value. To be able to restore
>> > the original value very often the old value needs to be saved.
>> >
>> > Not only is this a bit
Nikolay Pavlov wrote:
> 2017-12-15 22:09 GMT+03:00 Bram Moolenaar :
> >
> > Many plugins set options to a different value. To be able to restore
> > the original value very often the old value needs to be saved.
> >
> > Not only is this a bit of a hassle, especially for local options, it is
> >
2017-12-15 22:09 GMT+03:00 Bram Moolenaar :
>
> Many plugins set options to a different value. To be able to restore
> the original value very often the old value needs to be saved.
>
> Not only is this a bit of a hassle, especially for local options, it is
> also incomplete, since the location wh
on_restore() just restored to that buffer/window, even if it
> > wasn't the current buffer/window.
>
> I wonder why you change a local option in another window/buffer than the
> one your plugin works.
>
> Restoring from another window/buffer can be problematic, e.g. when a
>
Gary Johnson wrote:
> On 2017-12-15, Bram Moolenaar wrote:
> > Many plugins set options to a different value. To be able to restore
> > the original value very often the old value needs to be saved.
> >
> > Not only is this a bit of a hassle, especially for local options, it is
> > also incompl
On 2017-12-15, Bram Moolenaar wrote:
> Many plugins set options to a different value. To be able to restore
> the original value very often the old value needs to be saved.
>
> Not only is this a bit of a hassle, especially for local options, it is
> also incomplete, since the location where the
Many plugins set options to a different value. To be able to restore
the original value very often the old value needs to be saved.
Not only is this a bit of a hassle, especially for local options, it is
also incomplete, since the location where the option was originally set
can't be restored.