micro/settings.json aktualisiert
clipboard korrigiert
This commit is contained in:
parent
e66658f237
commit
4c5dcd5e4a
1 changed files with 1 additions and 1 deletions
|
|
@ -25,7 +25,7 @@
|
||||||
"savecursor": true, // Cursorposition pro Datei merken
|
"savecursor": true, // Cursorposition pro Datei merken
|
||||||
"saveundo": true, // Undo-Historie zwischen Sessions behalten
|
"saveundo": true, // Undo-Historie zwischen Sessions behalten
|
||||||
"savehistory": true, // Befehlshistorie (Ctrl+E) merken
|
"savehistory": true, // Befehlshistorie (Ctrl+E) merken
|
||||||
"clipboard": "external", // nutzt das System-Clipboard (cmd+c/v via Terminal)
|
"clipboard": "terminal", // nutzt das Terminal-Clipboard (OSC52, ideal über SSH)
|
||||||
|
|
||||||
// ---- Sicherheit & Komfort ----
|
// ---- Sicherheit & Komfort ----
|
||||||
"backup": false, // keine Backup-Dateien (~)
|
"backup": false, // keine Backup-Dateien (~)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue