From ab9960cddf2e509ecc08c0747b152af6ef6fde5b Mon Sep 17 00:00:00 2001
From: Francesco Abbate <francesco.bbt@gmail.com>
Date: Fri, 4 Jun 2021 14:42:08 +0200
Subject: [PATCH] Do not save log views in session file

---
 data/plugins/workspace.lua | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/data/plugins/workspace.lua b/data/plugins/workspace.lua
index 7697d318..77efd7c9 100644
--- a/data/plugins/workspace.lua
+++ b/data/plugins/workspace.lua
@@ -2,6 +2,7 @@
 local core = require "core"
 local common = require "core.common"
 local DocView = require "core.docview"
+local LogView = require "core.logview"
 
 
 local function workspace_files_for(project_dir)
@@ -85,6 +86,7 @@ local function save_view(view)
       text = not view.doc.filename and view.doc:get_text(1, 1, math.huge, math.huge)
     }
   end
+  if mt == LogView then return end
   for name, mod in pairs(package.loaded) do
     if mod == mt then
       return {