docs: 📸 updated demo animation

zaghaghi · Mar 8, 2024 · 2187b57 · 2187b57
1 parent d0ca915
commit 2187b57
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 13 deletions.
diff --git a/static/demo.gif b/static/demo.gif
diff --git a/static/demo.tape b/static/demo.tape
@@ -1,20 +1,23 @@
 Output static/demo.gif
-Set Shell zsh
+Hide
+    Set Shell zsh
 
-Set FontSize 16
-Set Width 1200
-Set Height 800
+    Set FontSize 16
+    Set Width 1200
+    Set Height 600
 
-Set Padding 20
-Set FontFamily "JetBrains Mono"
+    Set Padding 20
+    Set FontFamily "JetBrains Mono"
 
-Set WindowBar Colorful
+    Set WindowBar Colorful
+    Set WindowBarSize 40
 
-Set Theme "Catppuccin Mocha"
-Sleep 2s
-Type "cargo run -q -- --openapi-path examples/petstore.json"
-Sleep 2s
-Enter
+    Set Theme "Catppuccin Mocha"
+    Type "cargo run -q -- --openapi-path examples/petstore.json"
+
+    Enter
+    Sleep 3s
+Show
 Sleep 3s
 Enter
 Down@2s 9
@@ -31,7 +34,7 @@ Left@1s
 Down@2s
 Enter
 Right@2s 3
-Down@2s 10
+Down@1s 14
 Right@1s 2
 Sleep 10s
 Type "q"