я ПОКА нашел только один метод - перед открытием файла сперва кликнуть по нему правой мышой и загрузить :-)
Неужели так трудно было сделать еще один пункт - загрузить и открыть?
А лучше всего дать мне выбор в свойствах - чего делать с открываемым файлом, просто открыть или сперва загрузить его с сервера, а потом открыть.
Да и перед сохранением не мешало бы сперва проверить - не изменился ли файл на сервере с последнего открытия.
