Merge pull request #984 from MindTooth/final_kitty_fix

RFC: kitty: This got to be the last fix...
This commit is contained in:
Dylan Araps 2018-05-17 02:47:33 +00:00 committed by GitHub
commit a31e656f82
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2910,10 +2910,11 @@ END
fi fi
term_font="$(awk '/^[\S\n_#]+?font_family\s+?/ term_font="$(awk '/^([[:space:]]*|[^#_])font_family[[:space:]]+/ \
{ $1 = ""; gsub(/^[[:space:]]/, ""); font = $0 } { $1 = ""; gsub(/^[[:space:]]/, ""); font = $0 } \
/^[\S\n_#]+?font_size\s+?\d+?/ /^([[:space:]]*|[^#_])font_size[[:space:]]+/ \
{ size = $2 } END { print font " " size}' \ { size = $2 } \
END { print font " " size}' \
"${kitty_file}")" "${kitty_file}")"
;; ;;