FWIW, there is a current effort of rewriting the GUI backend to move away from Tcl/Tk and allowing alternative GUI implementations. It will take some time thoug

FWIW, there is a current effort of rewriting the GUI backend to move away from Tcl/Tk and allowing alternative GUI implementations. It will take some time though. Personally, my main problem with the current Tcl/Tk GUI is that it's also painfully slow...