minor improvements, terminal keys

[distro-setup] / subdir_files / .local / share / konsole / profileian.profile

diff --git a/subdir_files/.local/share/konsole/profileian.profile b/subdir_files/.local/share/konsole/profileian.profile
index f48ce54d36781958286b418ae530daf86f267456..026aadd74582d6d20ea09e5c3cad063b0709bf96 100644 (file)
--- a/subdir_files/.local/share/konsole/profileian.profile
+++ b/subdir_files/.local/share/konsole/profileian.profile
@@ -4,9 +4,12 @@ Font=Ubuntu Mono,14,-1,5,50,0,0,0,0,0
 
 [General]
 LocalTabTitleFormat=%w
-Name=Profile #1
+Name=profileian
 Parent=FALLBACK/
 RemoteTabTitleFormat=%w
 
 [Keyboard]
-KeyBindings=default
+KeyBindings=ian
+
+[Scrolling]
+HistorySize=100000