I've talked to Krzysztof about this, and he believes the fix is OK too. The other stuff I mentioned is quite complex, and Krzysztof didn't have a quick solution either.. Anyway, it isn't really a bug, so I'll mark the this as "fix commited".
I've talked to Krzysztof about this, and he believes the fix is OK too. The other stuff I mentioned is quite complex, and Krzysztof didn't have a quick solution either.. Anyway, it isn't really a bug, so I'll mark the this as "fix commited".