On Ubuntu 12.10 (up-to-date, ATI video driver), glitches appear on the editor, which is suddenly unusable.