treeview: fixed github merging error

This commit is contained in:
jgmdev 2022-03-18 04:23:32 -04:00
parent 5a63f6dc2e
commit e8427ae168
1 changed files with 2 additions and 5 deletions

View File

@ -11,14 +11,11 @@ local RootView = require "core.rootview"
config.plugins.treeview = common.merge({ config.plugins.treeview = common.merge({
-- Amount of clicks to open a file -- Amount of clicks to open a file
clicks_to_open = 2 clicks_to_open = 2,
}, config.plugins.treeview) -- Default treeview width
config.plugins.treeview = common.merge({
size = 200 * SCALE size = 200 * SCALE
}, config.plugins.treeview) }, config.plugins.treeview)
local tooltip_offset = style.font:get_height() local tooltip_offset = style.font:get_height()
local tooltip_border = 1 local tooltip_border = 1
local tooltip_delay = 0.5 local tooltip_delay = 0.5