Add log rotation to server & UI improvements (#157)

This commit is contained in:
Andras Schmelczer 2025-11-02 17:52:04 +00:00 committed by GitHub
parent 2b9d77d165
commit cd57ea6682
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
19 changed files with 508 additions and 38 deletions

View file

@ -34,7 +34,7 @@ export function renderCursorsInFileExplorer(
(parent) => {
cursors.forEach((cursor) => {
cursor.documentsWithCursors.forEach((document) => {
if (document.relative_path === key) {
if (document.relative_path.startsWith(key)) {
parent.appendChild(
createSpan({
text: cursor.userName,

View file

@ -4,6 +4,7 @@
background-color: var(--color-base-00);
border-radius: var(--radius-l);
container-type: inline-size;
word-break: break-word;
&.clickable {
cursor: pointer;
@ -38,7 +39,6 @@
display: flex;
align-items: center;
gap: var(--size-4-2);
word-break: break-all;
margin: 0;
> span {