This commit is contained in:
2017-10-22 12:20:22 -04:00
parent d73d3851ee
commit 97e0aaf7f7
4 changed files with 21 additions and 5 deletions

View File

@@ -17,7 +17,8 @@
background_image = None
copy_on_selection = True
cursor_color = "#b9b9b9"
font = Noto Mono 11
font = Noto Mono 10
foreground_color = "#0077ff"
palette = "#000000:#aa0000:#00aa00:#aa5500:#0000aa:#aa00aa:#00aaaa:#aaaaaa:#555555:#ff5555:#55ff55:#ffff55:#5555ff:#ff55ff:#55ffff:#ffffff"
scrollbar_position = hidden
use_system_font = False