[scrolling] history = 100000 [window] padding = { x = 5, y = 5 } dimensions = { columns = 120, lines = 30 } [font] size = 15.0 offset.y = 0 normal = { family = "JetBrains Mono", style = "Regular" } bold = { family = "JetBrains Mono", style = "Bold" } italic = { family = "JetBrains Mono", style = "Italic" } bold_italic = { family = "JetBrains Mono", style = "Bold Italic" } [selection] save_to_clipboard = true [keyboard] bindings = [ { key= "Back", mods= "Command", chars= "\u0015" } ]