apply workaround for #1003

This commit is contained in:
Jonathan Goren 2022-06-11 20:11:56 +03:00 committed by David Peter
parent b82e48f6da
commit f227bb291a
2 changed files with 3 additions and 1 deletions

2
doc/screencast.sh vendored
View File

@ -1,6 +1,8 @@
#!/bin/bash
# Designed to be executed via svg-term from the fd root directory:
# svg-term --command="bash doc/screencast.sh" --out doc/screencast.svg --padding=10
# Then run this (workaround for #1003):
# sed -i '' 's/<text/<text font-size="1.67"/g' doc/screencast.svg
set -e
set -u

2
doc/screencast.svg vendored

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 119 KiB

After

Width:  |  Height:  |  Size: 124 KiB