Add a time info caching compatibility option #62

This is needed to get good performance out of SWAM Cello until this
issue is fixed by the plugin.
This commit is contained in:
Robbert van der Helm
2020-11-30 14:49:02 +01:00
parent e08162fabf
commit 23d5567e72
6 changed files with 64 additions and 3 deletions
+3
View File
@@ -653,6 +653,9 @@ void PluginBridge::log_init_message() {
init_msg << "other options: ";
std::vector<std::string> other_options;
if (config.cache_time_info) {
other_options.push_back("hack: time info cache");
}
if (config.editor_double_embed) {
other_options.push_back("editor: double embed");
}