Hi brisssou, while this has solved the issue for you, it is still buggy behaviour. Because these quirky issues are so environment dependent, it's almost impossible for me to check fixes for these. Is it possible you could try trunk with the hints re-activated, and see if it is still a problem with fixes I made similar problems? I don't want to close the bug based on deactivating the hints as that seems a bit false.
Hi brisssou, while this has solved the issue for you, it is still buggy behaviour. Because these quirky issues are so environment dependent, it's almost impossible for me to check fixes for these. Is it possible you could try trunk with the hints re-activated, and see if it is still a problem with fixes I made similar problems? I don't want to close the bug based on deactivating the hints as that seems a bit false.