Minor release.
Fixed the following bugs:
- On Debian 12, clicking the "Connect" button results in "cannot show selection prompt since the current terminal does not support ansi escape sequences". What causes this error is is currently unknown.
(This was a serious issue, yet was fixed with a one-liner:os.environ['TERM'] = 'xterm')
Other changes:
- Settings are now saved as JSON instead of Pickle, which means the name of the settings file has changed again, it's now "thor-gui-settings.json". Also, your settings will not be able to be transferred between different versions of Thor GUI; if Thor GUI finds a "thor-gui-settings.json" file that was made by a different version, it overwrites it. I could re-implement transferring settings, but honestly I don't think anyone used it (I didn't), and it made the code more complicated.
The next release should have more changes than this one, but there's no set release date.