Removed superfluous settings
This commit is contained in:
parent
58bf5eb42c
commit
e3638f6b9f
|
@ -31,7 +31,7 @@ window:
|
||||||
|
|
||||||
# Window decorations
|
# Window decorations
|
||||||
# Setting this to false will result in window without borders and title bar.
|
# Setting this to false will result in window without borders and title bar.
|
||||||
decorations: true
|
#decorations: true
|
||||||
|
|
||||||
scrolling:
|
scrolling:
|
||||||
# How many lines of scrollback to keep,
|
# How many lines of scrollback to keep,
|
||||||
|
@ -122,10 +122,10 @@ font:
|
||||||
# OS X only: use thin stroke font rendering. Thin strokes are suitable
|
# OS X only: use thin stroke font rendering. Thin strokes are suitable
|
||||||
# for retina displays, but for non-retina you probably want this set to
|
# for retina displays, but for non-retina you probably want this set to
|
||||||
# false.
|
# false.
|
||||||
use_thin_strokes: true
|
#use_thin_strokes: true
|
||||||
|
|
||||||
# Should display the render timer
|
# Should display the render timer
|
||||||
render_timer: false
|
debug.render_timer: false
|
||||||
|
|
||||||
# Use custom cursor colors. If true, display the cursor in the cursor.foreground
|
# Use custom cursor colors. If true, display the cursor in the cursor.foreground
|
||||||
# and cursor.background colors, otherwise invert the colors of the cursor.
|
# and cursor.background colors, otherwise invert the colors of the cursor.
|
||||||
|
|
Loading…
Reference in a new issue