This is not a text editor add-on, but I have found an excellent add-on for restarting to solve problems that cannot be solved by reloading.
This is not a text editor add-on, but I have found an excellent add-on for restarting to solve problems that cannot be solved by reloading.