okay, so I've just uploaded a version which should largely fix this. can't tell at the moment whether the problem is lesstif or libxt.
okay, so I've just uploaded a version which should largely fix this. can't tell
at the moment whether the problem is lesstif or libxt.