From 8d92f976b3ff1fd6bdc4ac506ce7f1f4e0168cdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 22 Oct 2021 15:02:35 +0200
Subject: [PATCH] [ivette] Preferences: adds a title explaining the external
editor command.
---
ivette/src/renderer/Preferences.tsx | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/ivette/src/renderer/Preferences.tsx b/ivette/src/renderer/Preferences.tsx
index 70731ab3b77..023d17b672a 100644
--- a/ivette/src/renderer/Preferences.tsx
+++ b/ivette/src/renderer/Preferences.tsx
@@ -87,10 +87,14 @@ function ThemeFields(props: P.ThemeProps) {
// --- Editor Command Forms
// --------------------------------------------------------------------------
function EditorCommandFields(props: P.EditorCommandProps) {
- const command = Forms.useDefined(Forms.useValid(
+ const cmd = Forms.useDefined(Forms.useValid(
Settings.useGlobalSettings(props.command),
));
- return (<Forms.TextCodeField state={command} label="Command" />);
+ const title =
+ 'Command to open an external editor on Ctrl-click in the source code view.'
+ + '\nUse %s for the file name, %n for the line number'
+ + ' and %c for the selected character.';
+ return (<Forms.TextCodeField state={cmd} label="Command" title={title} />);
}
// --------------------------------------------------------------------------
--
GitLab