fix screen recording terminal sizing (#1130)

.ci/record_screen.sh

@@ -20,7 +20,11 @@ RECORDING_PATH=$DIRECTORY/screen_recording
 
 (rm -rf "$RECORDING_PATH" &> /dev/null || true)
 
-asciinema rec -c "$DIRECTORY/recorded_screen_script.sh" "$RECORDING_PATH"
+asciinema rec \
+  --command "$DIRECTORY/recorded_screen_script.sh" \
+  --cols 70 \
+  --rows 17 \
+  "$RECORDING_PATH"
 sed "s@$TEMP_DIR@~@g" "$RECORDING_PATH" | \
   svg-term \
     --window \

Cargo.lock

@@ -943,6 +943,7 @@ dependencies = [
  "instant",
  "number_prefix",
  "portable-atomic",
+ "unicode-segmentation",
  "unicode-width",
 ]
 
@@ -1950,6 +1951,12 @@ dependencies = [
  "tinyvec",
 ]
 
+[[package]]
+name = "unicode-segmentation"
+version = "1.11.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d4c87d22b6e3f4a18d4d40ef354e97c90fcb14dd91d7dc0aa9d8a1172ebf7202"
+
 [[package]]
 name = "unicode-width"
 version = "0.1.10"

Cargo.toml

@@ -30,7 +30,7 @@ sysinfo = "0.29.3"
 thiserror = "1.0.44"
 clap_complete = "4.3.1"
 anyhow = "1.0.71"
-indicatif = "0.17.8"
+indicatif = { version = "0.17.8", features = ["improved_unicode"] }
 
 [dev-dependencies]
 pretty_assertions = "1.4.0"