Allow user to turn OSC 7 off

Currently weltschmerz prefers working directory information obtained
from OSC 7 to that from procfs. If a user has not configured their shell
to emit OSC 7 escapes, the OSC 7 path may be out of date. Additionally
some users want only their shell to change the terminal's conception of
working directory, which is a behaviour better matched by the procfs
based working directory detection.

This change allows OSC 7 based working directory detection to be turned
off. The default remains to check OSC 7 first and then fall back to
procfs if there is not valid local path set with OSC 7.

The reason for turning OSC 7 off entirely instead of inverting the order
procfs and OSC 7 are checked in is that procfs based detection should
never fail under normal usage on systems that support it.

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);