diff options
| author | Phil Jones <philj56@gmail.com> | 2022-10-22 21:55:58 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-10-22 22:01:41 +0100 |
| commit | fdcda651241ace04d895b9efa77d261029e0da68 (patch) | |
| tree | 74c2bc4304e0fa1d501cc4d88bc2985b7eba6566 /src/config.c | |
| parent | 820fb11b9bb034a1ee2685ff9272f031d27dcd38 (diff) | |
Add --terminal option.
Diffstat (limited to 'src/config.c')
| -rw-r--r-- | src/config.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/config.c b/src/config.c index 915e548..4305c3e 100644 --- a/src/config.c +++ b/src/config.c @@ -431,6 +431,8 @@ bool parse_option(struct tofi *tofi, const char *filename, size_t lineno, const } else if (strcasecmp(option, "drun-print-exec") == 0) { log_warning("drun-print-exec is deprecated, as it is now always true.\n" " This option may be removed in a future version of tofi.\n"); + } else if (strcasecmp(option, "terminal") == 0) { + snprintf(tofi->default_terminal, N_ELEM(tofi->default_terminal), "%s", value); } else if (strcasecmp(option, "hint-font") == 0) { tofi->window.entry.harfbuzz.disable_hinting = !parse_bool(filename, lineno, value, &err); } else if (strcasecmp(option, "late-keyboard-init") == 0) { |