Remove the cache_time_info option

The new time info caching behaviour supersedes this by getting rid of
callbacks altogether.
This commit is contained in:
Robbert van der Helm
2021-04-29 00:46:43 +02:00
parent 2a9840828f
commit 383b0c3f10
5 changed files with 5 additions and 34 deletions
-3
View File
@@ -175,9 +175,6 @@ class PluginBridge {
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");
}