Re: Saving and restoring options

2017-12-16 Fir de Conversatie Nikolay Aleksandrovich Pavlov
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

Re: Saving and restoring options

2017-12-16 Fir de Conversatie 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 of a hassle, especially for local options, it is > >

Re: Saving and restoring options

2017-12-15 Fir de Conversatie Nikolay Aleksandrovich Pavlov
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

Re: Saving and restoring options

2017-12-15 Fir de Conversatie Gary Johnson
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 >

Re: Saving and restoring options

2017-12-15 Fir de Conversatie Bram Moolenaar
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

Re: Saving and restoring options

2017-12-15 Fir de Conversatie Gary Johnson
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

Saving and restoring options

2017-12-15 Fir de Conversatie 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 where the option was originally set can't be restored.