|
@@ -155,13 +155,13 @@
|
|
// color_palette_overrides = null
|
|
// color_palette_overrides = null
|
|
|
|
|
|
// [bool] Automatically copy mouse selection to the clipboard.
|
|
// [bool] Automatically copy mouse selection to the clipboard.
|
|
- // copy_on_select = true
|
|
|
|
|
|
+ copy_on_select = false
|
|
|
|
|
|
// [bool] Whether to use the default window copy behaviour
|
|
// [bool] Whether to use the default window copy behaviour
|
|
- // use_default_window_copy = false
|
|
|
|
|
|
+ use_default_window_copy = true
|
|
|
|
|
|
// [bool] Whether to clear the selection after copying.
|
|
// [bool] Whether to clear the selection after copying.
|
|
- // clear_selection_after_copy = true
|
|
|
|
|
|
+ clear_selection_after_copy = false
|
|
|
|
|
|
// [bool] If true, Ctrl-Plus/Minus/Zero controls zoom.
|
|
// [bool] If true, Ctrl-Plus/Minus/Zero controls zoom.
|
|
// If false, Ctrl-Shift-Plus/Minus/Zero controls zoom, Ctrl-Minus sends ^_, Ctrl-Plus/Zero do nothing.
|
|
// If false, Ctrl-Shift-Plus/Minus/Zero controls zoom, Ctrl-Minus sends ^_, Ctrl-Plus/Zero do nothing.
|