chore: regenerate demo gif

nixpig · Dec 20, 2024 · 55cdff1 · 55cdff1
1 parent 86b5eaf
commit 55cdff1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/demo.gif b/demo.gif
diff --git a/demo.tape b/demo.tape
@@ -3,10 +3,11 @@ Output demo.gif
 Set FontSize 20
 Set FontFamily "Operator Mono Lig"
 Set Theme "Catppuccin Mocha"
-Set Width 1024
-Set Height 768
-Set WindowBar Rings
+Set Width 1280
+Set Height 720
+Set WindowBar Colorful
 Set BorderRadius 10
+Set Padding 20
 
 Hide
 Type "vagrant ssh"
@@ -20,4 +21,4 @@ Type "docker run --runtime brownie hello-world"
 Sleep 1s
 Enter
 Sleep 3s
-
+Hide