From 5aebe1877885b44ee043422db636c40cda354d6b Mon Sep 17 00:00:00 2001 From: PS Date: Sat, 10 Feb 2024 20:12:20 -0800 Subject: [PATCH] Disabling undo fade out --- code/ship_files/config.4coder | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/ship_files/config.4coder b/code/ship_files/config.4coder index 8bc66c9b..331e579a 100644 --- a/code/ship_files/config.4coder +++ b/code/ship_files/config.4coder @@ -23,7 +23,7 @@ lister_whole_word_backspace_when_modified = true; show_line_number_margins = false; enable_output_wrapping = false; -enable_undo_fade_out = true; +enable_undo_fade_out = false; // cursor_roundess is a value [0,50] setting the radius of // the cursor and mark's roundness as a percentage of their width