From f7f67e93c6af91b2fcd93ba210aca69e00213a2e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 20 Feb 2026 13:26:15 +0000
Subject: [PATCH 1/2] Initial plan
From 88cbfe9552bb719e4cac207560e1158b8292bd61 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 20 Feb 2026 13:45:51 +0000
Subject: [PATCH 2/2] Fix playground UI: rename to gh aw, remove ready dot, fix
gaps, GitHub color scheme
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
---
docs/public/editor/editor.js | 13 +++++++++----
docs/public/editor/index.html | 12 ++++++++++--
2 files changed, 19 insertions(+), 6 deletions(-)
diff --git a/docs/public/editor/editor.js b/docs/public/editor/editor.js
index bff5958844b..093cb7976cd 100644
--- a/docs/public/editor/editor.js
+++ b/docs/public/editor/editor.js
@@ -8,7 +8,7 @@ import { keymap } from 'https://esm.sh/@codemirror/view@6.39.14';
import { yaml } from 'https://esm.sh/@codemirror/lang-yaml@6.1.2';
import { markdown } from 'https://esm.sh/@codemirror/lang-markdown@6.5.0';
import { indentUnit } from 'https://esm.sh/@codemirror/language@6.12.1';
-import { oneDark } from 'https://esm.sh/@codemirror/theme-one-dark@6.1.3';
+import { githubLight, githubDark } from 'https://esm.sh/@uiw/codemirror-theme-github@4.25.4';
import { createWorkerCompiler } from '/gh-aw/wasm/compiler-loader.js';
import { frontmatterHoverTooltip } from './hover-tooltips.js';
@@ -142,7 +142,7 @@ let isDragging = false;
// ---------------------------------------------------------------
// Theme — follows browser's prefers-color-scheme automatically.
// Primer CSS handles the page via data-color-mode="auto".
-// We only need to toggle the CodeMirror theme (oneDark vs default).
+// We only need to toggle the CodeMirror theme (githubDark vs githubLight).
// ---------------------------------------------------------------
const editorThemeConfig = new Compartment();
const outputThemeConfig = new Compartment();
@@ -153,7 +153,7 @@ function isDark() {
}
function cmThemeFor(dark) {
- return dark ? oneDark : [];
+ return dark ? githubDark : githubLight;
}
function applyCmTheme() {
@@ -324,10 +324,15 @@ function setStatus(status, text) {
statusBadge.setAttribute('data-status', status);
statusText.textContent = text;
- // Pulse animation for loading/compiling states
+ // Hide the dot in the ready state; pulse it for loading/compiling
if (status === 'loading' || status === 'compiling') {
+ statusDot.style.display = '';
statusDot.style.animation = 'pulse 1.2s ease-in-out infinite';
+ } else if (status === 'ready') {
+ statusDot.style.display = 'none';
+ statusDot.style.animation = '';
} else {
+ statusDot.style.display = '';
statusDot.style.animation = '';
}
}
diff --git a/docs/public/editor/index.html b/docs/public/editor/index.html
index 69fbd2b30a1..a596182bb82 100644
--- a/docs/public/editor/index.html
+++ b/docs/public/editor/index.html
@@ -3,7 +3,7 @@
-gh-aw Playground
+gh aw
@@ -190,7 +198,7 @@
- gh-aw Playground
+ gh aw