0 Replies Latest reply on Jul 1, 2020 8:40 AM by dhalek

    [20.2] Shortcuts reset after upgrade


      Hello out there,

      I just want to inform you that my changed keyboard shortcuts were reset during the upgrade from 19.4 to 20.2.

      In my case it was just one but it is annoying nonetheless.

      I had by historical reasons mapped "Explain plan" to F6 and after the upgrade it was mapped to the default F10.

      All other settings seem to be okay though.