2016-01-08 08:30:02 -08:00
|
|
|
UXTerm*faceName: Ubuntu Mono:size=11
|
2016-10-10 08:47:43 -07:00
|
|
|
UXTerm*VT100.geometry: 84x56
|
2016-01-08 08:30:02 -08:00
|
|
|
UXTerm*internalBorder: 0
|
|
|
|
|
UXTerm*borderWidth: 0
|
|
|
|
|
UXTerm*toolBar: false
|
|
|
|
|
|
|
|
|
|
UXTerm*locale: true
|
|
|
|
|
UXTerm*metaSendsEscape: true
|
|
|
|
|
|
2016-01-29 10:29:57 -08:00
|
|
|
XTerm*vt100.translations: #override \n\
|
2017-01-23 11:56:26 -08:00
|
|
|
Shift <Key>Home: scroll-back(1000)\n\
|
|
|
|
|
Shift <Key>End: scroll-forw(1000)
|
|
|
|
|
|
|
|
|
|
! shift+home: \e[1;2H
|
|
|
|
|
! shift+end: \e[1;2F
|
2016-01-29 10:29:57 -08:00
|
|
|
|
2016-01-08 08:30:02 -08:00
|
|
|
!UXTerm*cjkWidth: true
|
|
|
|
|
|
|
|
|
|
UXTerm*saveLines: 4096
|
|
|
|
|
UXTerm*allowScrollLock: true
|
|
|
|
|
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*background: #151616
|
|
|
|
|
UXTerm*foreground: #CBCECA
|
2016-01-08 08:30:02 -08:00
|
|
|
|
|
|
|
|
! Black + DarkGrey
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color0: #151616
|
|
|
|
|
UXTerm*color8: #383B3F
|
2016-01-08 08:30:02 -08:00
|
|
|
! DarkRed + Red
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color1: #D85D63
|
|
|
|
|
UXTerm*color9: #E8353B
|
2016-01-08 08:30:02 -08:00
|
|
|
! DarkGreen + Green
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color2: #7EB27E
|
|
|
|
|
UXTerm*color10: #C0E070
|
2016-01-08 08:30:02 -08:00
|
|
|
! DarkYellow + Yellow
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color3: #DE935F
|
|
|
|
|
UXTerm*color11: #E5C477
|
2016-01-08 08:30:02 -08:00
|
|
|
! DarkBlue + Blue
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color4: #7C9BC1
|
|
|
|
|
UXTerm*color12: #95C9E5
|
2016-01-08 08:30:02 -08:00
|
|
|
! DarkMagenta + Magenta
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color5: #AE89BA
|
|
|
|
|
UXTerm*color13: #EFA0DF
|
2016-01-08 08:30:02 -08:00
|
|
|
! DarkCyan + Cyan
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color6: #7A8985
|
|
|
|
|
UXTerm*color14: #8ABEB7
|
2016-01-08 08:30:02 -08:00
|
|
|
! LightGrey + White
|
2016-01-29 10:29:57 -08:00
|
|
|
UXTerm*color7: #CBCECA
|
|
|
|
|
UXTerm*color15: #FEFDFC
|
