2019-12-28 12:16:32 +01:00
|
|
|
local core = require "core"
|
|
|
|
local common = require "core.common"
|
|
|
|
local style = require "core.style"
|
|
|
|
local keymap = require "core.keymap"
|
|
|
|
local Object = require "core.object"
|
|
|
|
local View = require "core.view"
|
|
|
|
local DocView = require "core.docview"
|
|
|
|
|
|
|
|
|
|
|
|
local EmptyView = View:extend()
|
|
|
|
|
|
|
|
function EmptyView:draw()
|
|
|
|
self:draw_background(style.background)
|
|
|
|
local pos = self.position
|
|
|
|
local x, y, w, h = pos.x, pos.y, self.size.x, self.size.y
|
2020-05-26 11:33:07 +02:00
|
|
|
local _, y = common.draw_text(style.big_font, style.dim, "lite", "center", x, y, w, h)
|
2019-12-28 12:16:32 +01:00
|
|
|
local lines = {
|
2020-05-07 22:46:21 +02:00
|
|
|
{ fmt = "%s to run a command", cmd = "core:command-finder" },
|
|
|
|
{ fmt = "%s to open a file from the project", cmd = "core:file-finder" },
|
2019-12-28 12:16:32 +01:00
|
|
|
}
|
|
|
|
local th = style.font:get_height()
|
|
|
|
for _, line in ipairs(lines) do
|
|
|
|
local text = string.format(line.fmt, keymap.get_binding(line.cmd))
|
|
|
|
y = y + style.padding.y
|
|
|
|
common.draw_text(style.font, style.dim, text, "center", x, y, w, th)
|
|
|
|
y = y + th
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
local Node = Object:extend()
|
|
|
|
|
|
|
|
function Node:new(type)
|
|
|
|
self.type = type or "leaf"
|
|
|
|
self.position = { x = 0, y = 0 }
|
|
|
|
self.size = { x = 0, y = 0 }
|
|
|
|
self.views = {}
|
|
|
|
self.divider = 0.5
|
|
|
|
if self.type == "leaf" then
|
|
|
|
self:add_view(EmptyView())
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:propagate(fn, ...)
|
|
|
|
self.a[fn](self.a, ...)
|
|
|
|
self.b[fn](self.b, ...)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:on_mouse_moved(x, y, ...)
|
|
|
|
self.hovered_tab = self:get_tab_overlapping_point(x, y)
|
|
|
|
if self.type == "leaf" then
|
|
|
|
self.active_view:on_mouse_moved(x, y, ...)
|
|
|
|
else
|
|
|
|
self:propagate("on_mouse_moved", x, y, ...)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:on_mouse_released(...)
|
|
|
|
if self.type == "leaf" then
|
|
|
|
self.active_view:on_mouse_released(...)
|
|
|
|
else
|
|
|
|
self:propagate("on_mouse_released", ...)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:consume(node)
|
|
|
|
for k, _ in pairs(self) do self[k] = nil end
|
|
|
|
for k, v in pairs(node) do self[k] = v end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
local type_map = { up="vsplit", down="vsplit", left="hsplit", right="hsplit" }
|
|
|
|
|
|
|
|
function Node:split(dir, view, locked)
|
2020-05-19 13:58:41 +02:00
|
|
|
assert(self.type == "leaf", "Tried to split non-leaf node")
|
|
|
|
local type = assert(type_map[dir], "Invalid direction")
|
|
|
|
local last_active = core.active_view
|
2019-12-28 12:16:32 +01:00
|
|
|
local child = Node()
|
|
|
|
child:consume(self)
|
|
|
|
self:consume(Node(type))
|
|
|
|
self.a = child
|
|
|
|
self.b = Node()
|
|
|
|
if view then self.b:add_view(view) end
|
2020-05-19 13:58:41 +02:00
|
|
|
if locked then
|
|
|
|
self.b.locked = locked
|
|
|
|
core.set_active_view(last_active)
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
if dir == "up" or dir == "left" then
|
|
|
|
self.a, self.b = self.b, self.a
|
|
|
|
end
|
|
|
|
return child
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:close_active_view(root)
|
|
|
|
local do_close = function()
|
|
|
|
if #self.views > 1 then
|
|
|
|
local idx = self:get_view_idx(self.active_view)
|
|
|
|
table.remove(self.views, idx)
|
|
|
|
self:set_active_view(self.views[idx] or self.views[#self.views])
|
|
|
|
else
|
|
|
|
local parent = self:get_parent_node(root)
|
2020-04-12 12:14:49 +02:00
|
|
|
local is_a = (parent.a == self)
|
|
|
|
local other = parent[is_a and "b" or "a"]
|
2019-12-28 12:16:32 +01:00
|
|
|
if other:get_locked_size() then
|
|
|
|
self.views = {}
|
|
|
|
self:add_view(EmptyView())
|
|
|
|
else
|
|
|
|
parent:consume(other)
|
2020-04-12 12:14:49 +02:00
|
|
|
local p = parent
|
|
|
|
while p.type ~= "leaf" do
|
|
|
|
p = p[is_a and "a" or "b"]
|
|
|
|
end
|
|
|
|
p:set_active_view(p.active_view)
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
end
|
2020-05-19 13:58:41 +02:00
|
|
|
core.last_active_view = nil
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
self.active_view:try_close(do_close)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:add_view(view)
|
2020-05-19 13:58:41 +02:00
|
|
|
assert(self.type == "leaf", "Tried to add view to non-leaf node")
|
|
|
|
assert(not self.locked, "Tried to add view to locked node")
|
2019-12-28 12:16:32 +01:00
|
|
|
if self.views[1] and self.views[1]:is(EmptyView) then
|
|
|
|
table.remove(self.views)
|
|
|
|
end
|
|
|
|
table.insert(self.views, view)
|
|
|
|
self:set_active_view(view)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:set_active_view(view)
|
2020-05-19 13:58:41 +02:00
|
|
|
assert(self.type == "leaf", "Tried to set active view on non-leaf node")
|
2019-12-28 12:16:32 +01:00
|
|
|
self.active_view = view
|
2020-05-19 13:58:41 +02:00
|
|
|
core.set_active_view(view)
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_view_idx(view)
|
|
|
|
for i, v in ipairs(self.views) do
|
|
|
|
if v == view then return i end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_node_for_view(view)
|
|
|
|
for _, v in ipairs(self.views) do
|
|
|
|
if v == view then return self end
|
|
|
|
end
|
|
|
|
if self.type ~= "leaf" then
|
|
|
|
return self.a:get_node_for_view(view) or self.b:get_node_for_view(view)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_parent_node(root)
|
|
|
|
if root.a == self or root.b == self then
|
|
|
|
return root
|
|
|
|
elseif root.type ~= "leaf" then
|
|
|
|
return self:get_parent_node(root.a) or self:get_parent_node(root.b)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_children(t)
|
|
|
|
t = t or {}
|
|
|
|
for _, view in ipairs(self.views) do
|
|
|
|
table.insert(t, view)
|
|
|
|
end
|
|
|
|
if self.a then self.a:get_children(t) end
|
|
|
|
if self.b then self.b:get_children(t) end
|
|
|
|
return t
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_divider_overlapping_point(px, py)
|
|
|
|
if self.type ~= "leaf" then
|
|
|
|
local p = 6
|
|
|
|
local x, y, w, h = self:get_divider_rect()
|
|
|
|
x, y = x - p, y - p
|
|
|
|
w, h = w + p * 2, h + p * 2
|
|
|
|
if px > x and py > y and px < x + w and py < y + h then
|
|
|
|
return self
|
|
|
|
end
|
|
|
|
return self.a:get_divider_overlapping_point(px, py)
|
|
|
|
or self.b:get_divider_overlapping_point(px, py)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_tab_overlapping_point(px, py)
|
|
|
|
if #self.views == 1 then return nil end
|
|
|
|
local x, y, w, h = self:get_tab_rect(1)
|
|
|
|
if px >= x and py >= y and px < x + w * #self.views and py < y + h then
|
|
|
|
return math.floor((px - x) / w) + 1
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_child_overlapping_point(x, y)
|
|
|
|
local child
|
|
|
|
if self.type == "leaf" then
|
|
|
|
return self
|
|
|
|
elseif self.type == "hsplit" then
|
|
|
|
child = (x < self.b.position.x) and self.a or self.b
|
|
|
|
elseif self.type == "vsplit" then
|
|
|
|
child = (y < self.b.position.y) and self.a or self.b
|
|
|
|
end
|
|
|
|
return child:get_child_overlapping_point(x, y)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_tab_rect(idx)
|
|
|
|
local tw = math.min(style.tab_width, math.ceil(self.size.x / #self.views))
|
|
|
|
local h = style.font:get_height() + style.padding.y * 2
|
|
|
|
return self.position.x + (idx-1) * tw, self.position.y, tw, h
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_divider_rect()
|
|
|
|
local x, y = self.position.x, self.position.y
|
|
|
|
if self.type == "hsplit" then
|
|
|
|
return x + self.a.size.x, y, style.divider_size, self.size.y
|
|
|
|
elseif self.type == "vsplit" then
|
|
|
|
return x, y + self.a.size.y, self.size.x, style.divider_size
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:get_locked_size()
|
|
|
|
if self.type == "leaf" then
|
|
|
|
if self.locked then
|
|
|
|
local size = self.active_view.size
|
|
|
|
return size.x, size.y
|
|
|
|
end
|
|
|
|
else
|
|
|
|
local x1, y1 = self.a:get_locked_size()
|
|
|
|
local x2, y2 = self.b:get_locked_size()
|
|
|
|
if x1 and x2 then
|
2020-05-01 17:15:28 +02:00
|
|
|
local dsx = (x1 < 1 or x2 < 1) and 0 or style.divider_size
|
|
|
|
local dsy = (y1 < 1 or y2 < 1) and 0 or style.divider_size
|
|
|
|
return x1 + x2 + dsx, y1 + y2 + dsy
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
local function copy_position_and_size(dst, src)
|
|
|
|
dst.position.x, dst.position.y = src.position.x, src.position.y
|
|
|
|
dst.size.x, dst.size.y = src.size.x, src.size.y
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
-- calculating the sizes is the same for hsplits and vsplits, except the x/y
|
|
|
|
-- axis are swapped; this function lets us use the same code for both
|
|
|
|
local function calc_split_sizes(self, x, y, x1, x2)
|
|
|
|
local n
|
2020-05-01 17:15:28 +02:00
|
|
|
local ds = (x1 and x1 < 1 or x2 and x2 < 1) and 0 or style.divider_size
|
2019-12-28 12:16:32 +01:00
|
|
|
if x1 then
|
2020-05-01 17:15:28 +02:00
|
|
|
n = x1 + ds
|
2019-12-28 12:16:32 +01:00
|
|
|
elseif x2 then
|
2020-05-01 17:15:28 +02:00
|
|
|
n = self.size[x] - x2
|
2019-12-28 12:16:32 +01:00
|
|
|
else
|
|
|
|
n = math.floor(self.size[x] * self.divider)
|
|
|
|
end
|
|
|
|
self.a.position[x] = self.position[x]
|
|
|
|
self.a.position[y] = self.position[y]
|
|
|
|
self.a.size[x] = n - ds
|
|
|
|
self.a.size[y] = self.size[y]
|
|
|
|
self.b.position[x] = self.position[x] + n
|
|
|
|
self.b.position[y] = self.position[y]
|
|
|
|
self.b.size[x] = self.size[x] - n
|
|
|
|
self.b.size[y] = self.size[y]
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:update_layout()
|
|
|
|
if self.type == "leaf" then
|
|
|
|
local av = self.active_view
|
|
|
|
if #self.views > 1 then
|
|
|
|
local _, _, _, th = self:get_tab_rect(1)
|
|
|
|
av.position.x, av.position.y = self.position.x, self.position.y + th
|
|
|
|
av.size.x, av.size.y = self.size.x, self.size.y - th
|
|
|
|
else
|
|
|
|
copy_position_and_size(av, self)
|
|
|
|
end
|
|
|
|
else
|
|
|
|
local x1, y1 = self.a:get_locked_size()
|
|
|
|
local x2, y2 = self.b:get_locked_size()
|
|
|
|
if self.type == "hsplit" then
|
|
|
|
calc_split_sizes(self, "x", "y", x1, x2)
|
|
|
|
elseif self.type == "vsplit" then
|
|
|
|
calc_split_sizes(self, "y", "x", y1, y2)
|
|
|
|
end
|
|
|
|
self.a:update_layout()
|
|
|
|
self.b:update_layout()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:update()
|
|
|
|
if self.type == "leaf" then
|
|
|
|
for _, view in ipairs(self.views) do
|
|
|
|
view:update()
|
|
|
|
end
|
|
|
|
else
|
|
|
|
self.a:update()
|
|
|
|
self.b:update()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:draw_tabs()
|
|
|
|
local x, y, _, h = self:get_tab_rect(1)
|
|
|
|
local ds = style.divider_size
|
|
|
|
core.push_clip_rect(x, y, self.size.x, h)
|
|
|
|
renderer.draw_rect(x, y, self.size.x, h, style.background2)
|
|
|
|
renderer.draw_rect(x, y + h - ds, self.size.x, ds, style.divider)
|
|
|
|
|
|
|
|
for i, view in ipairs(self.views) do
|
|
|
|
local x, y, w, h = self:get_tab_rect(i)
|
|
|
|
local text = view:get_name()
|
|
|
|
local color = style.dim
|
|
|
|
if view == self.active_view then
|
|
|
|
color = style.text
|
|
|
|
renderer.draw_rect(x, y, w, h, style.background)
|
|
|
|
renderer.draw_rect(x + w, y, ds, h, style.divider)
|
|
|
|
renderer.draw_rect(x - ds, y, ds, h, style.divider)
|
|
|
|
end
|
|
|
|
if i == self.hovered_tab then
|
|
|
|
color = style.text
|
|
|
|
end
|
|
|
|
core.push_clip_rect(x, y, w, h)
|
|
|
|
common.draw_text(style.font, color, text, "center", x, y, w, h)
|
|
|
|
core.pop_clip_rect()
|
|
|
|
end
|
|
|
|
|
|
|
|
core.pop_clip_rect()
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function Node:draw()
|
|
|
|
if self.type == "leaf" then
|
|
|
|
if #self.views > 1 then
|
|
|
|
self:draw_tabs()
|
|
|
|
end
|
|
|
|
local pos, size = self.active_view.position, self.active_view.size
|
2020-05-01 17:15:28 +02:00
|
|
|
core.push_clip_rect(pos.x, pos.y, size.x + pos.x % 1, size.y + pos.y % 1)
|
2019-12-28 12:16:32 +01:00
|
|
|
self.active_view:draw()
|
|
|
|
core.pop_clip_rect()
|
|
|
|
else
|
|
|
|
local x, y, w, h = self:get_divider_rect()
|
|
|
|
renderer.draw_rect(x, y, w, h, style.divider)
|
|
|
|
self:propagate("draw")
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
local RootView = View:extend()
|
|
|
|
|
|
|
|
function RootView:new()
|
|
|
|
RootView.super.new(self)
|
|
|
|
self.root_node = Node()
|
|
|
|
self.deferred_draws = {}
|
|
|
|
self.mouse = { x = 0, y = 0 }
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:defer_draw(fn, ...)
|
|
|
|
table.insert(self.deferred_draws, 1, { fn = fn, ... })
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:get_active_node()
|
2020-05-19 13:58:41 +02:00
|
|
|
return self.root_node:get_node_for_view(core.active_view)
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:open_doc(doc)
|
|
|
|
local node = self:get_active_node()
|
2020-05-22 16:43:47 +02:00
|
|
|
if node.locked and core.last_active_view then
|
|
|
|
core.set_active_view(core.last_active_view)
|
|
|
|
node = self:get_active_node()
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
assert(not node.locked, "Cannot open doc on locked node")
|
|
|
|
for i, view in ipairs(node.views) do
|
|
|
|
if view.doc == doc then
|
|
|
|
node:set_active_view(node.views[i])
|
|
|
|
return view
|
|
|
|
end
|
|
|
|
end
|
|
|
|
local view = DocView(doc)
|
|
|
|
node:add_view(view)
|
|
|
|
self.root_node:update_layout()
|
|
|
|
view:scroll_to_line(view.doc:get_selection(), true, true)
|
|
|
|
return view
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:on_mouse_pressed(button, x, y, clicks)
|
|
|
|
local div = self.root_node:get_divider_overlapping_point(x, y)
|
|
|
|
if div then
|
|
|
|
self.dragged_divider = div
|
|
|
|
return
|
|
|
|
end
|
|
|
|
local node = self.root_node:get_child_overlapping_point(x, y)
|
|
|
|
local idx = node:get_tab_overlapping_point(x, y)
|
|
|
|
if idx then
|
|
|
|
node:set_active_view(node.views[idx])
|
|
|
|
if button == "middle" then
|
|
|
|
node:close_active_view(self.root_node)
|
|
|
|
end
|
|
|
|
else
|
2020-05-19 13:58:41 +02:00
|
|
|
core.set_active_view(node.active_view)
|
2019-12-28 12:16:32 +01:00
|
|
|
node.active_view:on_mouse_pressed(button, x, y, clicks)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:on_mouse_released(...)
|
|
|
|
if self.dragged_divider then
|
|
|
|
self.dragged_divider = nil
|
|
|
|
end
|
|
|
|
self.root_node:on_mouse_released(...)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:on_mouse_moved(x, y, dx, dy)
|
|
|
|
if self.dragged_divider then
|
2020-05-23 10:40:42 +02:00
|
|
|
local node = self.dragged_divider
|
|
|
|
if node.type == "hsplit" then
|
|
|
|
node.divider = node.divider + dx / node.size.x
|
2019-12-28 12:16:32 +01:00
|
|
|
else
|
2020-05-23 10:40:42 +02:00
|
|
|
node.divider = node.divider + dy / node.size.y
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
2020-05-23 10:40:42 +02:00
|
|
|
node.divider = common.clamp(node.divider, 0.01, 0.99)
|
2019-12-28 12:16:32 +01:00
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
self.mouse.x, self.mouse.y = x, y
|
|
|
|
self.root_node:on_mouse_moved(x, y, dx, dy)
|
|
|
|
|
|
|
|
local node = self.root_node:get_child_overlapping_point(x, y)
|
|
|
|
local div = self.root_node:get_divider_overlapping_point(x, y)
|
|
|
|
if div then
|
|
|
|
system.set_cursor(div.type == "hsplit" and "sizeh" or "sizev")
|
|
|
|
elseif node:get_tab_overlapping_point(x, y) then
|
|
|
|
system.set_cursor("arrow")
|
|
|
|
else
|
|
|
|
system.set_cursor(node.active_view.cursor)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:on_mouse_wheel(...)
|
|
|
|
local x, y = self.mouse.x, self.mouse.y
|
|
|
|
local node = self.root_node:get_child_overlapping_point(x, y)
|
|
|
|
node.active_view:on_mouse_wheel(...)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:on_text_input(...)
|
|
|
|
core.active_view:on_text_input(...)
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:update()
|
|
|
|
copy_position_and_size(self.root_node, self)
|
|
|
|
self.root_node:update()
|
|
|
|
self.root_node:update_layout()
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function RootView:draw()
|
|
|
|
self.root_node:draw()
|
|
|
|
while #self.deferred_draws > 0 do
|
|
|
|
local t = table.remove(self.deferred_draws)
|
|
|
|
t.fn(table.unpack(t))
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
return RootView
|