2021-08-17 15:46:21 +02:00
|
|
|
-- mod-version:2 -- lite-xl 2.0
|
2019-12-28 12:16:32 +01:00
|
|
|
local core = require "core"
|
|
|
|
local common = require "core.common"
|
|
|
|
local command = require "core.command"
|
|
|
|
local config = require "core.config"
|
|
|
|
local keymap = require "core.keymap"
|
|
|
|
local style = require "core.style"
|
|
|
|
local View = require "core.view"
|
2021-06-24 20:07:50 +02:00
|
|
|
local ContextMenu = require "core.contextmenu"
|
|
|
|
local RootView = require "core.rootview"
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-02-27 19:39:56 +01:00
|
|
|
local default_treeview_size = 200 * SCALE
|
2021-06-24 20:07:50 +02:00
|
|
|
local tooltip_offset = style.font:get_height()
|
2021-03-18 16:18:36 +01:00
|
|
|
local tooltip_border = 1
|
2021-03-20 02:03:16 +01:00
|
|
|
local tooltip_delay = 0.5
|
2021-03-18 16:18:36 +01:00
|
|
|
local tooltip_alpha = 255
|
2021-03-20 02:04:07 +01:00
|
|
|
local tooltip_alpha_rate = 1
|
2021-03-18 16:18:36 +01:00
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
|
|
|
|
local function get_depth(filename)
|
2020-12-28 10:26:27 +01:00
|
|
|
local n = 1
|
2019-12-28 12:16:32 +01:00
|
|
|
for sep in filename:gmatch("[\\/]") do
|
|
|
|
n = n + 1
|
|
|
|
end
|
|
|
|
return n
|
|
|
|
end
|
|
|
|
|
2021-03-18 16:18:36 +01:00
|
|
|
local function replace_alpha(color, alpha)
|
|
|
|
local r, g, b = table.unpack(color)
|
|
|
|
return { r, g, b, alpha }
|
|
|
|
end
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2020-05-16 10:44:31 +02:00
|
|
|
local TreeView = View:extend()
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
function TreeView:new()
|
|
|
|
TreeView.super.new(self)
|
|
|
|
self.scrollable = true
|
|
|
|
self.visible = true
|
2021-02-27 12:13:11 +01:00
|
|
|
self.init_size = true
|
2021-02-27 19:39:56 +01:00
|
|
|
self.target_size = default_treeview_size
|
2019-12-28 12:16:32 +01:00
|
|
|
self.cache = {}
|
2021-03-18 16:18:36 +01:00
|
|
|
self.tooltip = { x = 0, y = 0, begin = 0, alpha = 0 }
|
2021-11-24 06:16:54 +01:00
|
|
|
|
2021-12-07 21:44:20 +01:00
|
|
|
self.item_icon_width = 0
|
|
|
|
self.item_text_spacing = 0
|
2021-12-20 11:03:49 +01:00
|
|
|
self:add_core_hooks()
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:add_core_hooks()
|
|
|
|
-- When a file or directory is deleted we delete the corresponding cache entry
|
|
|
|
-- because if the entry is recreated we may use wrong information from cache.
|
|
|
|
local on_delete = core.on_dirmonitor_delete
|
|
|
|
core.on_dirmonitor_delete = function(dir, filepath)
|
|
|
|
local cache = self.cache[dir.name]
|
|
|
|
if cache then cache[filepath] = nil end
|
|
|
|
on_delete(dir, filepath)
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
2020-12-26 16:48:08 +01:00
|
|
|
|
2021-02-27 12:13:11 +01:00
|
|
|
function TreeView:set_target_size(axis, value)
|
|
|
|
if axis == "x" then
|
|
|
|
self.target_size = value
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
2021-07-12 18:21:27 +02:00
|
|
|
function TreeView:get_cached(dir, item, dirname)
|
2020-12-26 21:22:57 +01:00
|
|
|
local dir_cache = self.cache[dirname]
|
|
|
|
if not dir_cache then
|
|
|
|
dir_cache = {}
|
|
|
|
self.cache[dirname] = dir_cache
|
|
|
|
end
|
2021-01-19 16:39:15 +01:00
|
|
|
-- to discriminate top directories from regular files or subdirectories
|
|
|
|
-- we add ':' at the end of the top directories' filename. it will be
|
|
|
|
-- used only to identify the entry into the cache.
|
|
|
|
local cache_name = item.filename .. (item.topdir and ":" or "")
|
|
|
|
local t = dir_cache[cache_name]
|
2019-12-28 12:16:32 +01:00
|
|
|
if not t then
|
|
|
|
t = {}
|
2021-01-10 12:56:15 +01:00
|
|
|
local basename = common.basename(item.filename)
|
2020-12-28 10:26:27 +01:00
|
|
|
if item.topdir then
|
2020-12-27 11:32:52 +01:00
|
|
|
t.filename = basename
|
|
|
|
t.expanded = true
|
2020-12-28 10:26:27 +01:00
|
|
|
t.depth = 0
|
2020-12-28 15:51:16 +01:00
|
|
|
t.abs_filename = dirname
|
2020-12-28 10:26:27 +01:00
|
|
|
else
|
|
|
|
t.filename = item.filename
|
|
|
|
t.depth = get_depth(item.filename)
|
2020-12-28 15:51:16 +01:00
|
|
|
t.abs_filename = dirname .. PATHSEP .. item.filename
|
2020-12-27 11:32:52 +01:00
|
|
|
end
|
2020-12-27 09:47:58 +01:00
|
|
|
t.name = basename
|
2019-12-28 12:16:32 +01:00
|
|
|
t.type = item.type
|
2021-07-12 18:21:27 +02:00
|
|
|
t.dir = dir -- points to top level "dir" item
|
2021-01-19 16:39:15 +01:00
|
|
|
dir_cache[cache_name] = t
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
return t
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:get_name()
|
|
|
|
return "Project"
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:get_item_height()
|
|
|
|
return style.font:get_height() + style.padding.y
|
|
|
|
end
|
|
|
|
|
|
|
|
|
2021-05-25 23:25:56 +02:00
|
|
|
function TreeView:invalidate_cache(dirname)
|
|
|
|
for _, v in pairs(self.cache[dirname]) do
|
|
|
|
v.skip = nil
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
function TreeView:check_cache()
|
2020-12-26 21:22:57 +01:00
|
|
|
for i = 1, #core.project_directories do
|
|
|
|
local dir = core.project_directories[i]
|
2021-07-12 18:21:27 +02:00
|
|
|
-- invalidate cache's skip values if directory is declared dirty
|
|
|
|
if dir.is_dirty and self.cache[dir.name] then
|
|
|
|
self:invalidate_cache(dir.name)
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
2021-07-12 18:21:27 +02:00
|
|
|
dir.is_dirty = false
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:each_item()
|
|
|
|
return coroutine.wrap(function()
|
|
|
|
self:check_cache()
|
2020-12-30 16:15:33 +01:00
|
|
|
local count_lines = 0
|
2019-12-28 12:16:32 +01:00
|
|
|
local ox, oy = self:get_content_offset()
|
|
|
|
local y = oy + style.padding.y
|
|
|
|
local w = self.size.x
|
|
|
|
local h = self:get_item_height()
|
|
|
|
|
2020-12-26 21:22:57 +01:00
|
|
|
for k = 1, #core.project_directories do
|
|
|
|
local dir = core.project_directories[k]
|
2021-07-12 18:21:27 +02:00
|
|
|
local dir_cached = self:get_cached(dir, dir.item, dir.name)
|
2020-12-26 21:22:57 +01:00
|
|
|
coroutine.yield(dir_cached, ox, y, w, h)
|
2020-12-30 16:15:33 +01:00
|
|
|
count_lines = count_lines + 1
|
2019-12-28 12:16:32 +01:00
|
|
|
y = y + h
|
2020-12-26 21:22:57 +01:00
|
|
|
local i = 1
|
2020-12-27 11:32:52 +01:00
|
|
|
while i <= #dir.files and dir_cached.expanded do
|
2020-12-26 21:22:57 +01:00
|
|
|
local item = dir.files[i]
|
2021-07-12 18:21:27 +02:00
|
|
|
local cached = self:get_cached(dir, item, dir.name)
|
2020-12-26 21:22:57 +01:00
|
|
|
|
|
|
|
coroutine.yield(cached, ox, y, w, h)
|
2020-12-30 16:15:33 +01:00
|
|
|
count_lines = count_lines + 1
|
2020-12-26 21:22:57 +01:00
|
|
|
y = y + h
|
|
|
|
i = i + 1
|
|
|
|
|
|
|
|
if not cached.expanded then
|
|
|
|
if cached.skip then
|
|
|
|
i = cached.skip
|
|
|
|
else
|
|
|
|
local depth = cached.depth
|
|
|
|
while i <= #dir.files do
|
2020-12-27 09:47:58 +01:00
|
|
|
if get_depth(dir.files[i].filename) <= depth then break end
|
2020-12-26 21:22:57 +01:00
|
|
|
i = i + 1
|
2020-12-26 16:48:08 +01:00
|
|
|
end
|
2020-12-26 21:22:57 +01:00
|
|
|
cached.skip = i
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
end
|
2020-12-26 16:48:08 +01:00
|
|
|
end -- while files
|
|
|
|
end -- for directories
|
2020-12-30 16:15:33 +01:00
|
|
|
self.count_lines = count_lines
|
2019-12-28 12:16:32 +01:00
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
2021-03-20 01:57:06 +01:00
|
|
|
function TreeView:get_text_bounding_box(item, x, y, w, h)
|
|
|
|
local icon_width = style.icon_font:get_width("D")
|
|
|
|
local xoffset = item.depth * style.padding.x + style.padding.x + icon_width
|
|
|
|
x = x + xoffset
|
|
|
|
w = style.font:get_width(item.name) + 2 * style.padding.x
|
|
|
|
return x, y, w, h
|
|
|
|
end
|
|
|
|
|
|
|
|
|
2020-12-30 16:15:33 +01:00
|
|
|
function TreeView:on_mouse_moved(px, py, ...)
|
|
|
|
TreeView.super.on_mouse_moved(self, px, py, ...)
|
|
|
|
if self.dragging_scrollbar then return end
|
2021-06-24 20:07:50 +02:00
|
|
|
|
2021-03-20 01:57:06 +01:00
|
|
|
local item_changed, tooltip_changed
|
2019-12-28 12:16:32 +01:00
|
|
|
for item, x,y,w,h in self:each_item() do
|
|
|
|
if px > x and py > y and px <= x + w and py <= y + h then
|
2021-03-20 01:57:06 +01:00
|
|
|
item_changed = true
|
2019-12-28 12:16:32 +01:00
|
|
|
self.hovered_item = item
|
2021-06-24 20:07:50 +02:00
|
|
|
|
2021-03-20 01:57:06 +01:00
|
|
|
x,y,w,h = self:get_text_bounding_box(item, x,y,w,h)
|
|
|
|
if px > x and py > y and px <= x + w and py <= y + h then
|
|
|
|
tooltip_changed = true
|
|
|
|
self.tooltip.x, self.tooltip.y = px, py
|
|
|
|
self.tooltip.begin = system.get_time()
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
break
|
|
|
|
end
|
|
|
|
end
|
2021-03-20 01:57:06 +01:00
|
|
|
if not item_changed then self.hovered_item = nil end
|
|
|
|
if not tooltip_changed then self.tooltip.x, self.tooltip.y = nil, nil end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
2020-12-28 16:18:03 +01:00
|
|
|
local function create_directory_in(item)
|
|
|
|
local path = item.abs_filename
|
2020-12-30 12:00:51 +01:00
|
|
|
core.command_view:enter("Create directory in " .. path, function(text)
|
2020-12-28 16:18:03 +01:00
|
|
|
local dirname = path .. PATHSEP .. text
|
|
|
|
local success, err = system.mkdir(dirname)
|
|
|
|
if not success then
|
|
|
|
core.error("cannot create directory %q: %s", dirname, err)
|
|
|
|
end
|
|
|
|
item.expanded = true
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
2020-12-30 16:15:33 +01:00
|
|
|
function TreeView:on_mouse_pressed(button, x, y, clicks)
|
|
|
|
local caught = TreeView.super.on_mouse_pressed(self, button, x, y, clicks)
|
2021-06-24 20:07:50 +02:00
|
|
|
if caught or button ~= "left" then
|
2021-12-11 23:51:19 +01:00
|
|
|
return true
|
2020-12-30 16:15:33 +01:00
|
|
|
end
|
2021-05-25 23:25:56 +02:00
|
|
|
local hovered_item = self.hovered_item
|
|
|
|
if not hovered_item then
|
2021-12-11 23:51:19 +01:00
|
|
|
return false
|
2021-05-25 23:25:56 +02:00
|
|
|
elseif hovered_item.type == "dir" then
|
2020-12-30 12:00:51 +01:00
|
|
|
if keymap.modkeys["ctrl"] and button == "left" then
|
2021-05-25 23:25:56 +02:00
|
|
|
create_directory_in(hovered_item)
|
2020-12-28 15:51:16 +01:00
|
|
|
else
|
2021-05-25 23:25:56 +02:00
|
|
|
hovered_item.expanded = not hovered_item.expanded
|
2021-07-12 18:21:27 +02:00
|
|
|
if hovered_item.dir.files_limit then
|
|
|
|
core.update_project_subdir(hovered_item.dir, hovered_item.filename, hovered_item.expanded)
|
|
|
|
core.project_subdir_set_show(hovered_item.dir, hovered_item.filename, hovered_item.expanded)
|
|
|
|
end
|
2020-12-28 15:51:16 +01:00
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
else
|
|
|
|
core.try(function()
|
2021-11-07 23:12:03 +01:00
|
|
|
if core.last_active_view and core.active_view == self then
|
|
|
|
core.set_active_view(core.last_active_view)
|
|
|
|
end
|
2021-09-19 23:50:50 +02:00
|
|
|
local doc_filename = core.normalize_to_project_dir(hovered_item.abs_filename)
|
2021-03-06 23:36:05 +01:00
|
|
|
core.root_view:open_doc(core.open_doc(doc_filename))
|
2019-12-28 12:16:32 +01:00
|
|
|
end)
|
|
|
|
end
|
2021-12-11 23:51:19 +01:00
|
|
|
return true
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:update()
|
|
|
|
-- update width
|
2021-02-27 12:13:11 +01:00
|
|
|
local dest = self.visible and self.target_size or 0
|
2020-05-07 15:03:37 +02:00
|
|
|
if self.init_size then
|
2021-02-27 12:13:11 +01:00
|
|
|
self.size.x = dest
|
|
|
|
self.init_size = false
|
|
|
|
else
|
|
|
|
self:move_towards(self.size, "x", dest)
|
2020-05-07 15:03:37 +02:00
|
|
|
end
|
2021-06-24 20:07:50 +02:00
|
|
|
|
2021-03-18 16:18:36 +01:00
|
|
|
local duration = system.get_time() - self.tooltip.begin
|
2021-03-20 01:57:06 +01:00
|
|
|
if self.hovered_item and self.tooltip.x and duration > tooltip_delay then
|
2021-03-20 02:04:07 +01:00
|
|
|
self:move_towards(self.tooltip, "alpha", tooltip_alpha, tooltip_alpha_rate)
|
2021-03-18 16:18:36 +01:00
|
|
|
else
|
|
|
|
self.tooltip.alpha = 0
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-12-07 21:44:20 +01:00
|
|
|
self.item_icon_width = style.icon_font:get_width("D")
|
|
|
|
self.item_text_spacing = style.icon_font:get_width("f") / 2
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
TreeView.super.update(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
2020-12-30 16:15:33 +01:00
|
|
|
function TreeView:get_scrollable_size()
|
|
|
|
return self.count_lines and self:get_item_height() * (self.count_lines + 1) or math.huge
|
|
|
|
end
|
|
|
|
|
2021-03-13 16:44:40 +01:00
|
|
|
|
|
|
|
function TreeView:draw_tooltip()
|
2021-03-14 04:09:18 +01:00
|
|
|
local text = common.home_encode(self.hovered_item.abs_filename)
|
2021-03-13 16:44:40 +01:00
|
|
|
local w, h = style.font:get_width(text), style.font:get_height(text)
|
|
|
|
|
2021-03-18 16:18:36 +01:00
|
|
|
local x, y = self.tooltip.x + tooltip_offset, self.tooltip.y + tooltip_offset
|
2021-03-13 16:44:40 +01:00
|
|
|
w, h = w + style.padding.x, h + style.padding.y
|
|
|
|
|
|
|
|
if x + w > core.root_view.root_node.size.x then -- check if we can span right
|
|
|
|
x = x - w -- span left instead
|
|
|
|
end
|
|
|
|
|
2021-03-18 16:18:36 +01:00
|
|
|
local bx, by = x - tooltip_border, y - tooltip_border
|
|
|
|
local bw, bh = w + 2 * tooltip_border, h + 2 * tooltip_border
|
|
|
|
renderer.draw_rect(bx, by, bw, bh, replace_alpha(style.text, self.tooltip.alpha))
|
|
|
|
renderer.draw_rect(x, y, w, h, replace_alpha(style.background2, self.tooltip.alpha))
|
|
|
|
common.draw_text(style.font, replace_alpha(style.text, self.tooltip.alpha), text, "center", x, y, w, h)
|
2021-03-13 16:44:40 +01:00
|
|
|
end
|
2020-12-30 16:15:33 +01:00
|
|
|
|
2021-03-18 16:18:36 +01:00
|
|
|
|
2021-11-29 23:26:03 +01:00
|
|
|
function TreeView:get_item_icon(item, active, hovered)
|
|
|
|
local character = "f"
|
|
|
|
if item.type == "dir" then
|
|
|
|
character = item.expanded and "D" or "d"
|
|
|
|
end
|
|
|
|
local font = style.icon_font
|
|
|
|
local color = style.text
|
|
|
|
if active or hovered then
|
|
|
|
color = style.accent
|
|
|
|
end
|
|
|
|
return character, font, color
|
|
|
|
end
|
|
|
|
|
|
|
|
function TreeView:get_item_text(item, active, hovered)
|
|
|
|
local text = item.name
|
|
|
|
local font = style.font
|
|
|
|
local color = style.text
|
|
|
|
if active or hovered then
|
|
|
|
color = style.accent
|
|
|
|
end
|
|
|
|
return text, font, color
|
2021-11-21 09:24:24 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
2021-12-07 21:44:20 +01:00
|
|
|
function TreeView:draw_item_text(item, active, hovered, x, y, w, h)
|
|
|
|
local item_text, item_font, item_color = self:get_item_text(item, active, hovered)
|
|
|
|
common.draw_text(item_font, item_color, item_text, nil, x, y, 0, h)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:draw_item_icon(item, active, hovered, x, y, w, h)
|
|
|
|
local icon_char, icon_font, icon_color = self:get_item_icon(item, active, hovered)
|
|
|
|
common.draw_text(icon_font, icon_color, icon_char, nil, x, y, 0, h)
|
|
|
|
return self.item_icon_width + self.item_text_spacing
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:draw_item_body(item, active, hovered, x, y, w, h)
|
|
|
|
x = x + self:draw_item_icon(item, active, hovered, x, y, w, h)
|
|
|
|
self:draw_item_text(item, active, hovered, x, y, w, h)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:draw_item_chevron(item, active, hovered, x, y, w, h)
|
|
|
|
if item.type == "dir" then
|
|
|
|
local chevron_icon = item.expanded and "-" or "+"
|
|
|
|
local chevron_color = hovered and style.accent or style.text
|
|
|
|
common.draw_text(style.icon_font, chevron_color, chevron_icon, nil, x, y, 0, h)
|
|
|
|
end
|
|
|
|
return style.padding.x
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:draw_item_background(item, active, hovered, x, y, w, h)
|
|
|
|
if hovered then
|
|
|
|
renderer.draw_rect(x, y, w, h, style.line_highlight)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TreeView:draw_item(item, active, hovered, x, y, w, h)
|
|
|
|
self:draw_item_background(item, active, hovered, x, y, w, h)
|
|
|
|
|
|
|
|
x = x + item.depth * style.padding.x + style.padding.x
|
|
|
|
x = x + self:draw_item_chevron(item, active, hovered, x, y, w, h)
|
|
|
|
|
|
|
|
self:draw_item_body(item, active, hovered, x, y, w, h)
|
2021-11-21 09:24:24 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
function TreeView:draw()
|
|
|
|
self:draw_background(style.background2)
|
2021-12-07 21:45:20 +01:00
|
|
|
local _y, _h = self.position.y, self.size.y
|
2019-12-28 12:16:32 +01:00
|
|
|
|
|
|
|
local doc = core.active_view.doc
|
|
|
|
local active_filename = doc and system.absolute_path(doc.filename or "")
|
|
|
|
|
|
|
|
for item, x,y,w,h in self:each_item() do
|
2021-12-07 21:45:20 +01:00
|
|
|
if y + h >= _y and y < _y + _h then
|
|
|
|
self:draw_item(item,
|
|
|
|
item.abs_filename == active_filename,
|
|
|
|
item == self.hovered_item,
|
|
|
|
x, y, w, h)
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
end
|
2020-12-30 16:15:33 +01:00
|
|
|
|
|
|
|
self:draw_scrollbar()
|
2021-03-20 01:28:49 +01:00
|
|
|
if self.hovered_item and self.tooltip.alpha > 0 then
|
2021-03-18 16:18:36 +01:00
|
|
|
core.root_view:defer_draw(self.draw_tooltip, self)
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
-- init
|
|
|
|
local view = TreeView()
|
|
|
|
local node = core.root_view:get_active_node()
|
2021-02-15 00:36:39 +01:00
|
|
|
local treeview_node = node:split("left", view, {x = true}, true)
|
|
|
|
|
2021-02-15 15:45:56 +01:00
|
|
|
-- The toolbarview plugin is special because it is plugged inside
|
|
|
|
-- a treeview pane which is itelf provided in a plugin.
|
|
|
|
-- We therefore break the usual plugin's logic that would require each
|
|
|
|
-- plugin to be independent of each other. In addition it is not the
|
|
|
|
-- plugin module that plug itself in the active node but it is plugged here
|
|
|
|
-- in the treeview node.
|
2021-06-24 20:07:50 +02:00
|
|
|
local toolbar_view = nil
|
2021-02-15 00:36:39 +01:00
|
|
|
local toolbar_plugin, ToolbarView = core.try(require, "plugins.toolbarview")
|
2021-07-13 16:14:00 +02:00
|
|
|
if config.plugins.toolbarview ~= false and toolbar_plugin then
|
2021-06-24 20:07:50 +02:00
|
|
|
toolbar_view = ToolbarView()
|
2021-02-15 15:45:56 +01:00
|
|
|
treeview_node:split("down", toolbar_view, {y = true})
|
2021-02-27 19:39:56 +01:00
|
|
|
local min_toolbar_width = toolbar_view:get_min_width()
|
|
|
|
view:set_target_size("x", math.max(default_treeview_size, min_toolbar_width))
|
2021-02-15 15:45:56 +01:00
|
|
|
command.add(nil, {
|
|
|
|
["toolbar:toggle"] = function()
|
|
|
|
toolbar_view:toggle_visible()
|
|
|
|
end,
|
|
|
|
})
|
2021-02-15 00:36:39 +01:00
|
|
|
end
|
2021-02-09 18:41:32 +01:00
|
|
|
|
2021-06-24 20:07:50 +02:00
|
|
|
-- Add a context menu to the treeview
|
|
|
|
local menu = ContextMenu()
|
|
|
|
|
|
|
|
local on_view_mouse_pressed = RootView.on_view_mouse_pressed
|
|
|
|
local on_mouse_moved = RootView.on_mouse_moved
|
|
|
|
local root_view_update = RootView.update
|
|
|
|
local root_view_draw = RootView.draw
|
|
|
|
|
|
|
|
function RootView:on_mouse_moved(...)
|
|
|
|
if menu:on_mouse_moved(...) then return end
|
|
|
|
on_mouse_moved(self, ...)
|
|
|
|
end
|
|
|
|
|
|
|
|
function RootView.on_view_mouse_pressed(button, x, y, clicks)
|
|
|
|
-- We give the priority to the menu to process mouse pressed events.
|
|
|
|
if button == "right" then
|
|
|
|
view.tooltip.alpha = 0
|
|
|
|
view.tooltip.x, view.tooltip.y = nil, nil
|
|
|
|
end
|
|
|
|
local handled = menu:on_mouse_pressed(button, x, y, clicks)
|
|
|
|
return handled or on_view_mouse_pressed(button, x, y, clicks)
|
|
|
|
end
|
|
|
|
|
|
|
|
function RootView:update(...)
|
|
|
|
root_view_update(self, ...)
|
|
|
|
menu:update()
|
|
|
|
end
|
|
|
|
|
|
|
|
function RootView:draw(...)
|
|
|
|
root_view_draw(self, ...)
|
|
|
|
menu:draw()
|
|
|
|
end
|
|
|
|
|
|
|
|
local function is_project_folder(path)
|
2021-11-28 07:16:53 +01:00
|
|
|
return core.project_dir == path
|
2021-06-24 20:07:50 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
menu:register(function() return view.hovered_item end, {
|
|
|
|
{ text = "Open in System", command = "treeview:open-in-system" },
|
|
|
|
ContextMenu.DIVIDER
|
|
|
|
})
|
|
|
|
|
|
|
|
menu:register(
|
|
|
|
function()
|
|
|
|
return view.hovered_item
|
2021-11-28 07:16:53 +01:00
|
|
|
and not is_project_folder(view.hovered_item.abs_filename)
|
2021-06-24 20:07:50 +02:00
|
|
|
end,
|
|
|
|
{
|
|
|
|
{ text = "Rename", command = "treeview:rename" },
|
|
|
|
{ text = "Delete", command = "treeview:delete" },
|
|
|
|
}
|
|
|
|
)
|
|
|
|
|
|
|
|
menu:register(
|
|
|
|
function()
|
|
|
|
return view.hovered_item and view.hovered_item.type == "dir"
|
|
|
|
end,
|
|
|
|
{
|
|
|
|
{ text = "New File", command = "treeview:new-file" },
|
|
|
|
{ text = "New Folder", command = "treeview:new-folder" },
|
|
|
|
}
|
|
|
|
)
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-06-24 20:07:50 +02:00
|
|
|
-- Register the TreeView commands and keymap
|
2019-12-28 12:16:32 +01:00
|
|
|
command.add(nil, {
|
|
|
|
["treeview:toggle"] = function()
|
2021-02-27 12:13:11 +01:00
|
|
|
view.visible = not view.visible
|
2021-09-02 19:12:26 +02:00
|
|
|
end})
|
|
|
|
|
2021-06-24 20:07:50 +02:00
|
|
|
|
2021-09-02 19:12:26 +02:00
|
|
|
command.add(function() return view.hovered_item ~= nil end, {
|
2021-06-24 20:07:50 +02:00
|
|
|
["treeview:rename"] = function()
|
|
|
|
local old_filename = view.hovered_item.filename
|
2021-09-02 19:09:29 +02:00
|
|
|
local old_abs_filename = view.hovered_item.abs_filename
|
2021-06-24 20:07:50 +02:00
|
|
|
core.command_view:set_text(old_filename)
|
|
|
|
core.command_view:enter("Rename", function(filename)
|
2021-09-02 19:09:29 +02:00
|
|
|
filename = core.normalize_to_project_dir(filename)
|
|
|
|
local abs_filename = core.project_absolute_path(filename)
|
|
|
|
local res, err = os.rename(old_abs_filename, abs_filename)
|
|
|
|
if res then -- successfully renamed
|
|
|
|
for _, doc in ipairs(core.docs) do
|
|
|
|
if doc.abs_filename and old_abs_filename == doc.abs_filename then
|
|
|
|
doc:set_filename(filename, abs_filename) -- make doc point to the new filename
|
2021-09-17 23:41:14 +02:00
|
|
|
doc:reset_syntax()
|
2021-09-02 19:09:29 +02:00
|
|
|
break -- only first needed
|
|
|
|
end
|
|
|
|
end
|
|
|
|
core.log("Renamed \"%s\" to \"%s\"", old_filename, filename)
|
|
|
|
else
|
|
|
|
core.error("Error while renaming \"%s\" to \"%s\": %s", old_abs_filename, abs_filename, err)
|
|
|
|
end
|
2021-06-24 20:07:50 +02:00
|
|
|
end, common.path_suggest)
|
|
|
|
end,
|
|
|
|
|
|
|
|
["treeview:new-file"] = function()
|
2021-11-30 01:11:35 +01:00
|
|
|
if not is_project_folder(view.hovered_item.abs_filename) then
|
|
|
|
core.command_view:set_text(view.hovered_item.filename .. "/")
|
2021-06-24 20:07:50 +02:00
|
|
|
end
|
|
|
|
core.command_view:enter("Filename", function(filename)
|
|
|
|
local doc_filename = core.project_dir .. PATHSEP .. filename
|
|
|
|
local file = io.open(doc_filename, "a+")
|
|
|
|
file:write("")
|
|
|
|
file:close()
|
|
|
|
core.root_view:open_doc(core.open_doc(doc_filename))
|
|
|
|
core.log("Created %s", doc_filename)
|
|
|
|
end, common.path_suggest)
|
|
|
|
end,
|
|
|
|
|
|
|
|
["treeview:new-folder"] = function()
|
2021-11-30 01:11:35 +01:00
|
|
|
if not is_project_folder(view.hovered_item.abs_filename) then
|
|
|
|
core.command_view:set_text(view.hovered_item.filename .. "/")
|
2021-06-24 20:07:50 +02:00
|
|
|
end
|
|
|
|
core.command_view:enter("Folder Name", function(filename)
|
|
|
|
local dir_path = core.project_dir .. PATHSEP .. filename
|
|
|
|
common.mkdirp(dir_path)
|
|
|
|
core.log("Created %s", dir_path)
|
|
|
|
end, common.path_suggest)
|
|
|
|
end,
|
|
|
|
|
|
|
|
["treeview:delete"] = function()
|
|
|
|
local filename = view.hovered_item.abs_filename
|
2021-07-12 17:33:14 +02:00
|
|
|
local relfilename = view.hovered_item.filename
|
2021-06-24 20:07:50 +02:00
|
|
|
local file_info = system.get_file_info(filename)
|
2021-07-12 17:33:14 +02:00
|
|
|
local file_type = file_info.type == "dir" and "Directory" or "File"
|
|
|
|
-- Ask before deleting
|
|
|
|
local opt = {
|
|
|
|
{ font = style.font, text = "Yes", default_yes = true },
|
|
|
|
{ font = style.font, text = "No" , default_no = true }
|
|
|
|
}
|
|
|
|
core.nag_view:show(
|
|
|
|
string.format("Delete %s", file_type),
|
|
|
|
string.format(
|
|
|
|
"Are you sure you want to delete the %s?\n%s: %s",
|
|
|
|
file_type:lower(), file_type, relfilename
|
|
|
|
),
|
|
|
|
opt,
|
|
|
|
function(item)
|
|
|
|
if item.text == "Yes" then
|
|
|
|
if file_info.type == "dir" then
|
|
|
|
local deleted, error, path = common.rm(filename, true)
|
|
|
|
if not deleted then
|
|
|
|
core.error("Error: %s - \"%s\" ", error, path)
|
|
|
|
return
|
|
|
|
end
|
|
|
|
else
|
|
|
|
local removed, error = os.remove(filename)
|
|
|
|
if not removed then
|
|
|
|
core.error("Error: %s - \"%s\"", error, filename)
|
|
|
|
return
|
|
|
|
end
|
|
|
|
end
|
|
|
|
core.log("Deleted \"%s\"", filename)
|
|
|
|
end
|
2021-06-24 20:07:50 +02:00
|
|
|
end
|
2021-07-12 17:33:14 +02:00
|
|
|
)
|
2021-06-24 20:07:50 +02:00
|
|
|
end,
|
|
|
|
|
|
|
|
["treeview:open-in-system"] = function()
|
|
|
|
local hovered_item = view.hovered_item
|
|
|
|
|
|
|
|
if PLATFORM == "Windows" then
|
2021-09-07 22:14:40 +02:00
|
|
|
system.exec(string.format("start \"\" %q", hovered_item.abs_filename))
|
2021-06-24 20:07:50 +02:00
|
|
|
elseif string.find(PLATFORM, "Mac") then
|
|
|
|
system.exec(string.format("open %q", hovered_item.abs_filename))
|
|
|
|
elseif PLATFORM == "Linux" then
|
|
|
|
system.exec(string.format("xdg-open %q", hovered_item.abs_filename))
|
|
|
|
end
|
|
|
|
end,
|
2019-12-28 12:16:32 +01:00
|
|
|
})
|
|
|
|
|
2021-02-16 09:41:03 +01:00
|
|
|
keymap.add { ["ctrl+\\"] = "treeview:toggle" }
|
2021-06-24 20:07:50 +02:00
|
|
|
|
|
|
|
-- Return the treeview with toolbar and contextmenu to allow
|
|
|
|
-- user or plugin modifications
|
|
|
|
view.toolbar = toolbar_view
|
|
|
|
view.contextmenu = menu
|
|
|
|
|
|
|
|
return view
|