From e2b03d89128ae54074fd2e87f0a332f506751c0a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 16 Sep 2021 13:40:57 +0200
Subject: [PATCH] [dome] Dialogs: uses title instead of message (only supported
by macos).
---
ivette/src/dome/renderer/dialogs.tsx | 18 +++++++++---------
ivette/src/frama-c/menu.ts | 2 +-
2 files changed, 10 insertions(+), 10 deletions(-)
diff --git a/ivette/src/dome/renderer/dialogs.tsx b/ivette/src/dome/renderer/dialogs.tsx
index 36556d52bfd..bbdda3f0269 100644
--- a/ivette/src/dome/renderer/dialogs.tsx
+++ b/ivette/src/dome/renderer/dialogs.tsx
@@ -157,7 +157,7 @@ export interface FileFilter {
export interface FileDialogProps {
/** Prompt message. */
- message?: string;
+ title?: string;
/** Open button label (default is « Open »). */
label?: string;
/** Initially selected path. */
@@ -196,11 +196,11 @@ export interface OpenDirProps extends FileDialogProps {
export async function showOpenFile(
props: OpenFileProps,
): Promise<string | undefined> {
- const { message, label, path, hidden = false, filters } = props;
+ const { title, label, path, hidden = false, filters } = props;
return remote.dialog.showOpenDialog(
remote.getCurrentWindow(),
{
- message,
+ title,
buttonLabel: label,
defaultPath: path && defaultPath(path),
properties: (hidden ? ['openFile', 'showHiddenFiles'] : ['openFile']),
@@ -219,12 +219,12 @@ export async function showOpenFile(
export async function showOpenFiles(
props: OpenFileProps,
): Promise<string[] | undefined> {
- const { message, label, path, hidden, filters } = props;
+ const { title, label, path, hidden, filters } = props;
return remote.dialog.showOpenDialog(
remote.getCurrentWindow(),
{
- message,
+ title,
buttonLabel: label,
defaultPath: path && defaultPath(path),
properties: (
@@ -257,11 +257,11 @@ export async function showOpenFiles(
export async function showSaveFile(
props: SaveFileProps,
): Promise<string | undefined> {
- const { message, label, path, filters } = props;
+ const { title, label, path, filters } = props;
return remote.dialog.showSaveDialog(
remote.getCurrentWindow(),
{
- message,
+ title,
buttonLabel: label,
defaultPath: path,
filters,
@@ -282,7 +282,7 @@ type openDirProperty =
export async function showOpenDir(
props: OpenDirProps,
): Promise<string | undefined> {
- const { message, label, path, hidden } = props;
+ const { title, label, path, hidden } = props;
const properties: openDirProperty[] = ['openDirectory'];
if (hidden) properties.push('showHiddenFiles');
@@ -295,7 +295,7 @@ export async function showOpenDir(
return remote.dialog.showOpenDialog(
remote.getCurrentWindow(),
{
- message,
+ title,
buttonLabel: label,
defaultPath: path,
properties,
diff --git a/ivette/src/frama-c/menu.ts b/ivette/src/frama-c/menu.ts
index 21d47914ff2..26033fe3a9c 100644
--- a/ivette/src/frama-c/menu.ts
+++ b/ivette/src/frama-c/menu.ts
@@ -30,7 +30,7 @@ import * as Server from 'frama-c/server';
import * as Ast from 'frama-c/api/kernel/ast';
async function setFiles(): Promise<void> {
- const files = await Dialogs.showOpenFiles({ message: 'Open files' });
+ const files = await Dialogs.showOpenFiles({ title: 'Open files' });
await Server.send(Ast.setFiles, files);
await Server.send(Ast.compute, { });
return;
--
GitLab