update shortcut

royqh1979 · Jan 1, 2025 · 6d7d476 · 6d7d476
1 parent 35c68bb
commit 6d7d476
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RedPandaIDE/mainwindow.ui b/RedPandaIDE/mainwindow.ui
@@ -3340,7 +3340,7 @@
     <string>Generate GIMPLE</string>
    </property>
    <property name="shortcut">
-    <string>Ctrl+F11</string>
+    <string>Ctrl+Shift+F12</string>
    </property>
   </action>
  </widget>