Script um Lezezeichensymboleiste zu verstecken

Das ist etwas umständlicher.

So geht es bei mir:

        var IstAltGR = event.getModifierState("AltGraph")

        if (IstAltGR && keyName == 'l')  {.........}

Ich hatte vergessen zu erwähnen, dass eine Auswertung von Strg / Alt / AltGr nicht gleichzeitig (zumindest so) gelingt, wie ursprünglich im Script vorgesehen. "Strg + Alt" ist nach Definition "AltGr", und das gibt eben Konflikte.