Add an XEmbed compatibility option

This commit is contained in:
Robbert van der Helm
2020-12-25 18:11:55 +01:00
parent 7da5ec113c
commit 49eeee99fa
5 changed files with 29 additions and 2 deletions
+3
View File
@@ -160,6 +160,9 @@ class PluginBridge {
if (config.editor_double_embed) {
other_options.push_back("editor: double embed");
}
if (config.editor_xembed) {
other_options.push_back("editor: XEmbed");
}
if (!other_options.empty()) {
init_msg << join_quoted_strings(other_options) << std::endl;
} else {