Skip to content
Snippets Groups Projects
Commit 8d92f976 authored by David Bühler's avatar David Bühler
Browse files

[ivette] Preferences: adds a title explaining the external editor command.

parent 087720bc
No related branches found
No related tags found
No related merge requests found
...@@ -87,10 +87,14 @@ function ThemeFields(props: P.ThemeProps) { ...@@ -87,10 +87,14 @@ function ThemeFields(props: P.ThemeProps) {
// --- Editor Command Forms // --- Editor Command Forms
// -------------------------------------------------------------------------- // --------------------------------------------------------------------------
function EditorCommandFields(props: P.EditorCommandProps) { function EditorCommandFields(props: P.EditorCommandProps) {
const command = Forms.useDefined(Forms.useValid( const cmd = Forms.useDefined(Forms.useValid(
Settings.useGlobalSettings(props.command), 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} />);
} }
// -------------------------------------------------------------------------- // --------------------------------------------------------------------------
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment