1 2 3 4 5 6 7 8 9 10 11 12 13
# Fonts font_size 15 font_family DejaVu # Window layout remember_window_size no initial_window_width 800 initial_window_height 500 # macOS macos_quit_when_last_window_closed yes macos_titlebar_color system macos_option_as_alt yes