HI shiftee,
I made a different version of 'reload all' feature than you. You can show it and try it from the #1471 pull request.
My plan was an icon on toolbar and a command in the file menu with shortcut key. If many files has opened and must reload them, just click on the icon or press Alt+r, and voila!
cheers


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.