2019-06-18 05:29:55 -07:00
|
|
|
[Appearance]
|
2019-12-11 14:01:59 -08:00
|
|
|
ColorScheme=MyColors
|
2019-11-07 04:21:43 -08:00
|
|
|
Font=Dina,10,-1,5,50,0,0,0,0,0,Regular
|
2019-06-29 15:24:42 -07:00
|
|
|
LineSpacing=0
|
|
|
|
|
UseFontLineChararacters=false
|
2019-06-18 05:29:55 -07:00
|
|
|
|
|
|
|
|
[Cursor Options]
|
|
|
|
|
CursorShape=0
|
|
|
|
|
CustomCursorColor=255,155,247
|
|
|
|
|
UseCustomCursorColor=true
|
|
|
|
|
|
|
|
|
|
[General]
|
2019-06-29 15:24:42 -07:00
|
|
|
DimWhenInactive=false
|
2019-09-05 13:44:56 -07:00
|
|
|
Environment=TERM=xterm-256color,COLORTERM=truecolor
|
2019-06-18 05:29:55 -07:00
|
|
|
Name=Profile
|
|
|
|
|
Parent=FALLBACK/
|
2019-06-29 15:24:42 -07:00
|
|
|
TerminalCenter=false
|
2019-09-10 08:29:39 -07:00
|
|
|
TerminalColumns=82
|
2019-06-29 15:24:42 -07:00
|
|
|
TerminalMargin=0
|
2019-07-27 15:54:31 -07:00
|
|
|
TerminalRows=30
|
2019-06-18 05:29:55 -07:00
|
|
|
|
|
|
|
|
[Keyboard]
|
2019-09-10 08:29:39 -07:00
|
|
|
KeyBindings=linux
|
2019-06-18 05:29:55 -07:00
|
|
|
|
|
|
|
|
[Scrolling]
|
|
|
|
|
HistoryMode=0
|
|
|
|
|
ScrollBarPosition=2
|
|
|
|
|
|
|
|
|
|
[Terminal Features]
|
|
|
|
|
BlinkingCursorEnabled=false
|
