drexler 0.2.11 → 0.2.12
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +5 -0
- package/package.json +1 -1
- package/src/index.ts +0 -14
- package/src/ui/App.tsx +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -1,5 +1,10 @@
|
|
|
1
1
|
# Changelog
|
|
2
2
|
|
|
3
|
+
## 0.2.12
|
|
4
|
+
|
|
5
|
+
- Removed the duplicate startup card render so normal launches show one startup panel.
|
|
6
|
+
- Tightened the embedded Deal Desk width so its box stays clean inside the startup panel.
|
|
7
|
+
|
|
3
8
|
## 0.2.11
|
|
4
9
|
|
|
5
10
|
- Moved the live Deal Desk chrome into the startup panel on normal launches.
|
package/package.json
CHANGED
package/src/index.ts
CHANGED
|
@@ -19,7 +19,6 @@ import {
|
|
|
19
19
|
} from "./renderer.ts";
|
|
20
20
|
import { startRepl } from "./repl.ts";
|
|
21
21
|
import { App } from "./ui/App.tsx";
|
|
22
|
-
import { MascotIntro } from "./ui/MascotIntro.tsx";
|
|
23
22
|
import { promptForApiKeyWithInk } from "./ui/SetupPrompt.tsx";
|
|
24
23
|
import { ThemeProvider } from "./ui/ThemeContext.tsx";
|
|
25
24
|
import { getActiveTheme, selectTheme, setActiveTheme } from "./ui/themes.ts";
|
|
@@ -127,23 +126,10 @@ async function main(): Promise<void> {
|
|
|
127
126
|
|
|
128
127
|
if (isInteractive) {
|
|
129
128
|
if (!skipIntro) {
|
|
130
|
-
// Print intro to stdout before Ink mounts. Ink's <Static> can't host
|
|
131
|
-
// animated state, and we want the banner visible from boot.
|
|
132
129
|
console.log("");
|
|
133
130
|
await typewriterBanner();
|
|
134
131
|
console.log(tagline());
|
|
135
132
|
console.log("");
|
|
136
|
-
// Animated welcome card via transient Ink instance.
|
|
137
|
-
const intro = render(
|
|
138
|
-
React.createElement(ThemeProvider, {
|
|
139
|
-
value: getActiveTheme(),
|
|
140
|
-
children: React.createElement(MascotIntro, { greeting }),
|
|
141
|
-
}),
|
|
142
|
-
{ exitOnCtrlC: false },
|
|
143
|
-
);
|
|
144
|
-
await intro.waitUntilExit();
|
|
145
|
-
intro.clear();
|
|
146
|
-
intro.unmount();
|
|
147
133
|
}
|
|
148
134
|
|
|
149
135
|
console.log("");
|
package/src/ui/App.tsx
CHANGED
|
@@ -718,7 +718,7 @@ export function App({
|
|
|
718
718
|
const headerStatus = isBusy ? "streaming" : deskStatus;
|
|
719
719
|
const embeddedDealDeskWidth =
|
|
720
720
|
chromeWidth >= 112
|
|
721
|
-
? Math.min(
|
|
721
|
+
? Math.min(72, Math.max(42, Math.floor(chromeWidth * 0.34)))
|
|
722
722
|
: Math.max(32, chromeWidth - 8);
|
|
723
723
|
const dealDeskHeader = (
|
|
724
724
|
<DealDeskHeader
|