chiark / gitweb /
threading fixes: use invokeLater to always run the GUI initialisation on the event...