Formatting

This commit is contained in:
Andras Schmelczer 2025-01-04 17:38:02 +00:00
commit 9973542ba4
No known key found for this signature in database
GPG key ID: FC8F2C3D3D1A718C
2 changed files with 7 additions and 6 deletions

View file

@ -78,8 +78,9 @@ export class Syncer {
public async syncRemotelyUpdatedFile( public async syncRemotelyUpdatedFile(
remoteVersion: components["schemas"]["DocumentVersionWithoutContent"] remoteVersion: components["schemas"]["DocumentVersionWithoutContent"]
): Promise<void> { ): Promise<void> {
await this.syncQueue.add(async () => await this.syncQueue.add(
this.internalSyncRemotelyUpdatedFile(remoteVersion) async () =>
this.internalSyncRemotelyUpdatedFile(remoteVersion)
); );
} }

View file

@ -91,9 +91,9 @@ export class LogsView extends ItemView {
logsContainer = container.createDiv( logsContainer = container.createDiv(
{ cls: "logs-container" }, { cls: "logs-container" },
(logsContainer) => { (element) => {
logs.slice(-100).forEach((message) => logs.forEach((message) =>
logsContainer.createDiv( element.createDiv(
{ {
cls: ["log-message", message.level], cls: ["log-message", message.level],
}, },
@ -113,7 +113,7 @@ export class LogsView extends ItemView {
} }
); );
if (scrollPosition) { if (scrollPosition !== undefined) {
logsContainer.scrollTop = scrollPosition; logsContainer.scrollTop = scrollPosition;
} else { } else {
logsContainer.scrollTop = logsContainer.scrollHeight; logsContainer.scrollTop = logsContainer.scrollHeight;