Hi Ruben,
I'll do the search as you have suggested - but possibly easier simply to advise folk having difficulty to try a different browser. It is a small forum with ~300 members at present.
Thank you for your help.
There are probably a hundred posts here discussing the issue with IE over the years. And the usual response has been to try firefox or some other browser and see if it works.
But the bottom line is, it is still a issue with IE.
The vendor has made some attempts to fix the IE issue in the last few versions. This version 7.5.7 has made another change in a attempt to correct it.
I was trying to make you aware of what they are because you could manually add the fixes in your current version. And see if it improves for you. Or just upgrade your version.