Enable/disable RavelPro menu items according to whether a RavelPro plugin is installed.

highperformancecoder · highperformancecoder · commit 5384d18cfa88 · 2025-07-23T12:29:59.000+10:00
diff --git a/RavelCAPI b/RavelCAPI
@@ -1 +1 @@
-Subproject commit 260d84a5ad9eebcdb1be7a44c1ab4ad938d0ae3f
+Subproject commit 2a2c28f7463bd5f78c844d7f4645e3a6cfb2ec8b
diff --git a/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts b/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts
@@ -216,6 +216,7 @@ export class ApplicationMenuManager {
             },
             {
               label: 'to database',
+              enabled: await minsky.databaseIngestor.db.ravelPro(),
               async click() {
                 WindowManager.createPopupWindowWithRouting({
                   width: 250,
diff --git a/gui-js/apps/minsky-electron/src/app/managers/ContextMenuManager.ts b/gui-js/apps/minsky-electron/src/app/managers/ContextMenuManager.ts
@@ -902,6 +902,7 @@ export class ContextMenuManager {
       }),
       new MenuItem({
         label: 'Connect to database',
+        enabled: await ravel.db.ravelPro(),
         click: () => {
           WindowManager.createPopupWindowWithRouting({
             title: 'Connect to database',
diff --git a/gui-js/libs/shared/src/lib/backend/minsky.ts b/gui-js/libs/shared/src/lib/backend/minsky.ts
@@ -2507,6 +2507,7 @@ export class ravelCAPI__Database extends CppClass {
   async loadDatabase(a1: string[],a2: ravel__DataSpec): Promise<void> {return this.$callMethod('loadDatabase',a1,a2);}
   async loadDatabaseCallback(a1: minsky__dummy): Promise<void> {return this.$callMethod('loadDatabaseCallback',a1);}
   async numericalColumnNames(): Promise<string[]> {return this.$callMethod('numericalColumnNames');}
+  async ravelPro(): Promise<boolean> {return this.$callMethod('ravelPro');}
   async setAxisNames(a1: Container<string>,a2: string): Promise<void> {return this.$callMethod('setAxisNames',a1,a2);}
   async tableNames(): Promise<string[]> {return this.$callMethod('tableNames');}
 }

Original file line number	Diff line number	Diff line change
`@@ -216,6 +216,7 @@ export class ApplicationMenuManager {`
`216`	`216`	`},`
`217`	`217`	`{`
`218`	`218`	`label: 'to database',`
	`219`	`+ enabled: await minsky.databaseIngestor.db.ravelPro(),`
`219`	`220`	`async click() {`
`220`	`221`	`WindowManager.createPopupWindowWithRouting({`
`221`	`222`	`width: 250,`
Original file line number	Diff line number	Diff line change
`@@ -2507,6 +2507,7 @@ export class ravelCAPI__Database extends CppClass {`
`2507`	`2507`	`async loadDatabase(a1: string[],a2: ravel__DataSpec): Promise<void> {return this.$callMethod('loadDatabase',a1,a2);}`
`2508`	`2508`	`async loadDatabaseCallback(a1: minsky__dummy): Promise<void> {return this.$callMethod('loadDatabaseCallback',a1);}`
`2509`	`2509`	`async numericalColumnNames(): Promise<string[]> {return this.$callMethod('numericalColumnNames');}`
	`2510`	`+ async ravelPro(): Promise<boolean> {return this.$callMethod('ravelPro');}`
`2510`	`2511`	`async setAxisNames(a1: Container<string>,a2: string): Promise<void> {return this.$callMethod('setAxisNames',a1,a2);}`
`2511`	`2512`	`async tableNames(): Promise<string[]> {return this.$callMethod('tableNames');}`
`2512`	`2513`	`}`