From 24b4a5e2ed0dac4562a12a9be653110f335b532b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 16 Sep 2021 14:05:36 +0200
Subject: [PATCH] [ivette] "Set files" menu: adds filter for C source file.
---
ivette/src/frama-c/menu.ts | 17 +++++++++++++++--
1 file changed, 15 insertions(+), 2 deletions(-)
diff --git a/ivette/src/frama-c/menu.ts b/ivette/src/frama-c/menu.ts
index 26033fe3a9c..48edd9bc0ec 100644
--- a/ivette/src/frama-c/menu.ts
+++ b/ivette/src/frama-c/menu.ts
@@ -28,9 +28,22 @@ import * as Dome from 'dome';
import * as Dialogs from 'dome/dialogs';
import * as Server from 'frama-c/server';
import * as Ast from 'frama-c/api/kernel/ast';
+import * as States from 'frama-c/states';
+
+const cFilter = {
+ name: 'C source files',
+ extensions: ['c', 'i', 'h'],
+};
+const allFilter = {
+ name: 'all',
+ extensions: ['*'],
+};
async function setFiles(): Promise<void> {
- const files = await Dialogs.showOpenFiles({ title: 'Open files' });
+ const files = await Dialogs.showOpenFiles({
+ title: 'Select C source files',
+ filters: [cFilter, allFilter],
+ });
await Server.send(Ast.setFiles, files);
await Server.send(Ast.compute, { });
return;
@@ -39,7 +52,7 @@ async function setFiles(): Promise<void> {
export function init() {
Dome.addMenuItem({
menu: 'File',
- label: 'Set files',
+ label: 'Set source files',
id: 'file_add',
onClick: setFiles,
type: 'normal',
--
GitLab