#7315 - added terminal identification option on windows

This commit is contained in:
Eugene Pankov
2023-01-27 22:40:16 +01:00
parent 5e2976ab3d
commit 842636aa15
10 changed files with 2218 additions and 26 deletions

View File

@@ -97,3 +97,5 @@ hotkeys:
- 'Ctrl-Shift-E'
command-selector:
- 'Ctrl-Shift-P'
terminal:
identification: wt

View File

@@ -23,6 +23,7 @@ terminal:
showRecentProfiles: 3
paneResizeStep: 0.1
focusFollowsMouse: false
identification: null
hotkeys:
profile:
__nonStructural: true