better settings layout

Author: treethought

.github/workflows/deploy_static.yml

@@ -1,29 +1,23 @@
-# Simple workflow for deploying static content to GitHub Pages
 name: Deploy static content to Pages
 
 on:
-  # Runs on pushes targeting the default branch
   push:
-    # branches: ["main"]
-    branches: ["**"]
+    tags:
+      - "*"
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
   contents: read
   pages: write
   id-token: write
 
-# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
-# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
 concurrency:
   group: "pages"
   cancel-in-progress: false
 
 jobs:
-  # Single deploy job since we're just deploying
   deploy:
     environment:
       name: github-pages

esbuild.config.mjs

@@ -3,7 +3,7 @@ import process from "process";
 import { builtinModules } from 'node:module';
 
 const banner =
-`/*
+	`/*
 THIS IS A GENERATED/BUNDLED FILE BY ESBUILD
 if you want to view the source, please visit the github repository of this plugin
 */
@@ -31,8 +31,7 @@ const context = await esbuild.context({
 		"@lezer/common",
 		"@lezer/highlight",
 		"@lezer/lr",
-		...builtinModules,
-		...builtinModules.map(m => `node:${m}`)],
+		...builtinModules],
 	format: "cjs",
 	target: "es2018",
 	logLevel: "info",

src/main.ts

@@ -91,7 +91,6 @@ export default class AtmospherePlugin extends Plugin {
 				return true
 			} catch (e) {
 				console.error("Failed to restore session:", e);
-				// Clear invalid session data
 				this.settings.did = undefined;
 				await this.saveSettings();
 				new Notice("Session expired. Please login by opening settings");

src/settings.ts

@@ -31,15 +31,12 @@ export class SettingTab extends PluginSettingTab {
 		const { containerEl } = this;
 		containerEl.empty();
 
-		if (this.plugin.settings.did) {
+		if (this.plugin.client.loggedIn) {
 			const displayName = this.plugin.client.actor?.handle || this.plugin.settings.did;
 
 			new Setting(containerEl)
-				.setName("Logged in")
-				.setDesc(displayName);
-
-			new Setting(containerEl)
-				.setName("Log out")
+				.setName("Logged in as @" + displayName)
+				.setDesc(this.plugin.client.actor?.did as string || "")
 				.addButton((button) =>
 					button
 						.setButtonText("Log out")