···11-# Simple workflow for deploying static content to GitHub Pages
21name: Deploy static content to Pages
3243on:
55- # Runs on pushes targeting the default branch
64 push:
77- # branches: ["main"]
88- branches: ["**"]
55+ tags:
66+ - "*"
97108 # Allows you to run this workflow manually from the Actions tab
119 workflow_dispatch:
12101313-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
1411permissions:
1512 contents: read
1613 pages: write
1714 id-token: write
18151919-# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
2020-# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
2116concurrency:
2217 group: "pages"
2318 cancel-in-progress: false
24192520jobs:
2626- # Single deploy job since we're just deploying
2721 deploy:
2822 environment:
2923 name: github-pages
+2-3
esbuild.config.mjs
···33import { builtinModules } from 'node:module';
4455const banner =
66-`/*
66+ `/*
77THIS IS A GENERATED/BUNDLED FILE BY ESBUILD
88if you want to view the source, please visit the github repository of this plugin
99*/
···3131 "@lezer/common",
3232 "@lezer/highlight",
3333 "@lezer/lr",
3434- ...builtinModules,
3535- ...builtinModules.map(m => `node:${m}`)],
3434+ ...builtinModules],
3635 format: "cjs",
3736 target: "es2018",
3837 logLevel: "info",
+1-2
src/lib/oauth/oauth.ts
···4747 });
4848 await new Promise((resolve) => setTimeout(resolve, 200));
49495050- // Create promise for callback
5150 const waitForCallback = new Promise<URLSearchParams>((resolve, reject) => {
5251 this.callbackResolver = resolve;
5352 this.callbackRejecter = reject;
54535555- // Timeout after 5 minutes
5454+ // timeout after 5 minutes
5655 this.callbackTimeout = setTimeout(() => {
5756 if (this.callbackRejecter) {
5857 this.callbackRejecter(new Error('OAuth callback timed out after 5 minutes'));
-1
src/main.ts
···9191 return true
9292 } catch (e) {
9393 console.error("Failed to restore session:", e);
9494- // Clear invalid session data
9594 this.settings.did = undefined;
9695 await this.saveSettings();
9796 new Notice("Session expired. Please login by opening settings");
+3-6
src/settings.ts
···3131 const { containerEl } = this;
3232 containerEl.empty();
33333434- if (this.plugin.settings.did) {
3434+ if (this.plugin.client.loggedIn) {
3535 const displayName = this.plugin.client.actor?.handle || this.plugin.settings.did;
36363737 new Setting(containerEl)
3838- .setName("Logged in")
3939- .setDesc(displayName);
4040-4141- new Setting(containerEl)
4242- .setName("Log out")
3838+ .setName("Logged in as @" + displayName)
3939+ .setDesc(this.plugin.client.actor?.did as string || "")
4340 .addButton((button) =>
4441 button
4542 .setButtonText("Log out")