Het probleem:
Op het desktop toetsenbord alhier moest er tijdens php programmeerwerk 2x op de apostrofe gedrukt worden om dan een accolade ipv een apostrofe voorgeschoteld te krijgen. Dubbele aanhalingstekens dito. Niet mee te werken.
Dat probleem was in Linux Mint 15 via de gui niet op te lossen en het was na wat google-fu toch weer de terminal die het feestje gered heeft.
De oplossing:
Configureer je toetsenbord -in een terminal- zonder dead keys en Bob’s your aunty.
sudo dpkg-reconfigure keyboard-configuration