diff options
author | Idan Horowitz <idan.horowitz@gmail.com> | 2020-12-29 23:48:07 +0200 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2020-12-30 11:58:52 +0100 |
commit | 7e457b98c32f58e7f9529878a4e76832aaa80368 (patch) | |
tree | 4ed93b267b565eb1cf74f042b8288ae99f21d6c0 /Base/home/anon | |
parent | fd945c8007fcdc0b9b56f42c5017c39702ea7d44 (diff) | |
download | serenity-7e457b98c32f58e7f9529878a4e76832aaa80368.zip |
Terminal: Remove redundant scroll length settings option
This is no longer needed as a global one is now available
under mouse settings.
Diffstat (limited to 'Base/home/anon')
-rw-r--r-- | Base/home/anon/.config/Terminal.ini | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Base/home/anon/.config/Terminal.ini b/Base/home/anon/.config/Terminal.ini index a3a736cfce..3cdf124fb5 100644 --- a/Base/home/anon/.config/Terminal.ini +++ b/Base/home/anon/.config/Terminal.ini @@ -3,4 +3,3 @@ Command= [Window] Opacity=255 Bell=Visible -ScrollLength=4 |