IdleReload

Python IDLE extension to reload the currently opened file from disk contents.

What does this extension do?

This IDLE extension allows you to reload the currently open file from disk contents. For example, say you have run an auto-formatter like black on your code, but you still have an IDLE window open. Regularly, you would have to close the window and re-open the file to see the changes. This extension allows you to reload the file's contents from what is saved on disk without restarting IDLE.

Installation (Without root permissions)

1. Go to terminal and install with the following command:

pip install idlereload[user]

2. Run configuration update/check commands:

idleuserextend; idlereload

You should see the following output: Config should be good! Config should be good!.

3. Open IDLE, go to Options -> Configure IDLE -> Extensions.
   If everything went well, alongside ZzDummy there should be and
   option called idlereload. This is where you can configure how
   idlereload works.

Installation (Legacy, needs root permission)

1. Go to terminal and install with the following command:

pip install idlereload

2. Run configuration update/check commands:

idlereload

You will likely see a message saying idlereload not in system registered extensions!. Run the command it tells you to add idlereload to your system's IDLE extension config file.

3. Run command idlereload again after modifying the system extension
   configuration file. This time, you should see the following output:
   Config should be good!.
4. Open IDLE, go to Options -> Configure IDLE -> Extensions.
   If everything went well, alongside ZzDummy there should be and
   option called idlereload. This is where you can configure how
   idlereload works.

Future Work

Maybe add support for asynchronously checking if we need to reload and display a header message like code context that disk version has changed.