hexedtech/codemp-nvim
3
0
Fork 0
mirror of https://github.com/hexedtech/codemp-nvim.git synced 2024-11-24 16:34:50 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: parse user list upon connection

Browse source 
basically shows user which were already present when connecting to a
workspace, rather than waiting for a cursor from them
This commit is contained in:
əlemi 2024-09-26 00:22:45 +02:00
parent 38c59e8934
commit 7e80f71509
Signed by: alemi
GPG key ID: A4895B84D311642C
1 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
lua/codemp/workspace.lua
View file

@ -4,7 +4,7 @@ local buffers = require('codemp.buffers')
---@class UserHighlight ---@class UserHighlight
---@field ns integer namespace to use for this user ---@field ns integer namespace to use for this user
---@field hi HighlightPair color for user to use ---@field hi HighlightPair color for user to use
---@field mark integer extmark id ---@field mark integer | nil extmark id
---@field pos [integer, integer] cursor start position of this user ---@field pos [integer, integer] cursor start position of this user
---@type table<string, UserHighlight> ---@type table<string, UserHighlight>
@ -160,6 +160,15 @@ local function join(workspace)
register_cursor_callback(ws) register_cursor_callback(ws)
register_cursor_handler(ws) register_cursor_handler(ws)
CODEMP.workspace = ws CODEMP.workspace = ws
for _, user in pairs(CODEMP.workspace:user_list()) do
buffers.users[user] = ""
user_hl[user] = {
ns = vim.api.nvim_create_namespace("codemp-cursor-" .. user),
hi = utils.color(user),
pos = { 0, 0 },
mark = nil,
}
end
require('codemp.window').update() require('codemp.window').update()
utils.poller( utils.poller(
function() return ws:event() end, function() return ws:event() end,
@ -180,6 +189,7 @@ local function join(workspace)
ns = vim.api.nvim_create_namespace("codemp-cursor-" .. event.value), ns = vim.api.nvim_create_namespace("codemp-cursor-" .. event.value),
hi = utils.color(event.value), hi = utils.color(event.value),
pos = { 0, 0 }, pos = { 0, 0 },
mark = nil,
} }
end end
require('codemp.window').update() require('codemp.window').update()