2016-02-20 23:53:56 +01:00
|
|
|
xterm*faceName : DejaVu Sans Mono for Powerline:size=12:antialias=true
|
2016-01-13 22:18:22 +01:00
|
|
|
xterm*dynamicColors: true
|
|
|
|
xterm*utf8: 2
|
|
|
|
xterm*eightBitInput: true
|
|
|
|
xterm*saveLines: 512
|
|
|
|
xterm*scrollKey: true
|
|
|
|
xterm*scrollTtyOutput: false
|
|
|
|
xterm*scrollBar: false
|
|
|
|
xterm*rightScrollBar: false
|
|
|
|
xterm*jumpScroll: true
|
|
|
|
xterm*multiScroll: true
|
|
|
|
xterm*toolBar: false
|
2017-07-02 22:06:24 +02:00
|
|
|
XTerm.vt100.translations: #override \n\
|
|
|
|
Ctrl Shift <Key>C: copy-selection(CLIPBOARD) \n\
|
|
|
|
Ctrl Shift <Key>V: insert-selection(CLIPBOARD)
|