diff options
Diffstat (limited to '')
| -rw-r--r-- | config.vala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config.vala b/config.vala index c0a084f..d972bac 100644 --- a/config.vala +++ b/config.vala @@ -12,6 +12,7 @@ class Config { public int scrollback; public bool scrollbar; public bool allow_hyperlinks; + public bool prefer_osc7; public Gdk.RGBA? foreground; public Gdk.RGBA? background; @@ -57,6 +58,7 @@ class Config { scrollback = reader.read_integer("misc", "scrollback", 10000); scrollbar = reader.read_boolean("misc", "scrollbar", true); allow_hyperlinks = reader.read_boolean("misc", "allow-hyperlinks", false); + prefer_osc7 = reader.read_boolean("misc", "prefer-osc7", true); foreground = reader.read_colour("colours", "foreground", null); background = reader.read_colour("colours", "background", null); |