• Albert Gräf's avatar
    Make Alt the key to temporarily change to run mode. · 2517cfab
    Albert Gräf authored
    In one fell swoop, this solves all usability issues we have with the
    Ctrl key we currently employ for that purpose, which interferes with all
    our menu keybindings, and makes temporary run mode unusable on the Mac.