2018-07-31 19:46:00 -05:00
|
|
|
[Appearance]
|
|
|
|
|
ColorScheme=Gruvbox_dark
|
2018-08-11 02:11:42 -05:00
|
|
|
Font=Inconsolata,10,-1,5,50,0,0,0,0,0,Regular
|
2018-07-31 19:46:00 -05:00
|
|
|
|
|
|
|
|
[General]
|
|
|
|
|
Directory=/home/salt
|
|
|
|
|
Name=Primary
|
|
|
|
|
Parent=FALLBACK/
|
|
|
|
|
ShowTerminalSizeHint=false
|
|
|
|
|
StartInCurrentSessionDir=false
|
|
|
|
|
TerminalColumns=86
|
|
|
|
|
TerminalRows=26
|
|
|
|
|
|
|
|
|
|
[Scrolling]
|
2018-10-01 19:05:26 -05:00
|
|
|
HistorySize=10000
|
2018-07-31 19:46:00 -05:00
|
|
|
ScrollBarPosition=2
|
