> при этом да - юзер увидет паразитное сообщение "file changed outside, reload?"
> это не баг. что делать тут? наверно ничего не делать.
Это не баг, это предсказуемое поведение.
Но оно опасно!
Кроме того, если закрыл лишние вкладки и быстро Куду, а при открытии эти ненужные вкладки опять открываются,
то это не ожидаемое поведение и неправильное!
Да и вообще - это баг!
Ведь при закрытии приложения ожидаешь, что его состояние сохранится, что при открытии оно будет таким же, как и при закрытии.
А, оказывается, есть какое-то промежуточное состояние, и нужно открывать НЕ НА АВТОМАТЕ, а задуматься, не нажать НЕ НА ТУ кнопку.
А это запинка, помеха на пути автоматизма.
И может привести (а у меня приводила!) к необратимым последствиям, если нажмешь НЕ ТУ кнопку.
Сессию-то вы не сохранили при закрытии!
А виноват пользователь?
Он же не обязан знать про внутренней устройство Куды, как я знаю немного с вашей замечательной помощью.
А если открываешь через день-два?
Вообще можно подумать, что какой-то сбой!
Не помнишь же правок!
Так что это баг!
Нужно сохранение сессии, обновление ее на момент закрытия.
Иначе появляются фантомные закрытые вкладки (могут же и быть с чувствительным контентом, нежелательно, чтобы кто-то увидел их, их же ЗАКРЫЛИ!)
И, при закрытии, даже если файл сохранил - этот несчастный вопрос собьет пользователя с толку, и он потеряет важную информацию и веру в Куду!
А это очень и очень печально!
И неправильно с точки зрения UX.