Add rvl on list of extensions to include by default when opening file…

…s. For Ravel #540.
highperformancecoder · Apr 25, 2024 · fe56680 · fe56680
1 parent 6d7a3ab
commit fe56680
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts b/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts
@@ -119,8 +119,7 @@ export class ApplicationMenuManager {
               const _dialog = await dialog.showOpenDialog({
                 properties: ['openFile'],
                 filters: [
-                  { name: '*.mky', extensions: ['mky'] },
-                  { name: '*.rvl', extensions: ['rvl'] },
+                  { name: 'Minsky/Ravel', extensions: ['rvl','mky'] },
                   { name: '*.xml', extensions: ['xml'] },
                   { name: '*.*', extensions: ['*'] },
                 ],