hasherezade / pe-bear-releases

PE-bear (builds only)
https://hshrzd.wordpress.com/pe-bear/
767 stars 73 forks source link

Feature Request: Detect when the file in disk has changed and ask the user to reload it #38

Closed trufae closed 2 years ago

hasherezade commented 3 years ago

I implemented this feature, please have a look at the builds and let me know what do you think.

You can change in the settings whether the file should reload automatically, or display a popup:

configure_reload

There is an issue with reloading the files from shared directories in the situation described here:

I will probably resolve it with some workarounds, but for now I left it as is.

hasherezade commented 2 years ago

Hi, sorry for the delay - I was busy with other things. But I think I fixed it now. Please have a look at the new version

trufae commented 2 years ago

I can confirm it works well now :) no double reloads!