Andrey Grinenko a488c19d61 Prompt when F5 (Ctrl-R) is pressed. It is common thing to refresh page after you have made some tweaks, and it is common thing to refresh wrong page and even although everything is saved and tabs will reopen - you will loose opened folders in fileManager and cursor positions in open files. So it's better to prompt anyway.

2015-02-23 01:31:12 +03:00

17 KiB

Raw Blame History

View Raw