Addon Manager: Sketch out basics of Developer Mode

2022-08-30 21:18:11 -05:00
parent 5cafa954d4
commit 2524e8081a
10 changed files with 1831 additions and 16 deletions
--- a/src/Mod/AddonManager/AddonManager.ui
+++ b/src/Mod/AddonManager/AddonManager.ui
@@ -134,6 +134,13 @@
       </property>
      </widget>
     </item>
+     <item>
+      <widget class="QPushButton" name="buttonDevTools">
+       <property name="text">
+        <string>Developer tools...</string>
+       </property>
+      </widget>
+     </item>
     <item>
      <spacer name="horizontalSpacer_4">
       <property name="orientation">