On 19/01/2013 14:15, Helmut Karlowski wrote:
and the behaviour is not reproducible.
At some time, I managed to see the difference by using aranym or aranym-jit on the same setup. The speed difference was enough to show different menu bars.
Anyway, as you said, fixing that would probably require new code and features, this is why things should stay lake this for next release.
-- Vincent Rivière