Machst du damit auch die Erfahrung, dass danach in der
IDE [STRG]+[#] nicht mehr geht? Ich weiß nicht, was sich bei mir da übernatürliches abspielt, aber zwei mal habe ich auf XE4 die Jedis runtergeworfen und wiederaufgespielt. Immer machen sie mir den Hotkey zum Kommentar-Toggeln kaputt.