10_terminal: Implement "axzsh_resize_terminal COLUMNS LINES"

diff --git a/core/10_terminal/10_terminal.zshrc b/core/10_terminal/10_terminal.zshrc
index 874ef8060fc5587e62f983c339062c1c9a668f44..e7c1eecfcb2b41404015c789e6da19217ae7b61f 100644 (file)
--- a/core/10_terminal/10_terminal.zshrc
+++ b/core/10_terminal/10_terminal.zshrc
@@ -22,6 +22,11 @@ function axzsh_is_modern_terminal {
        return 1
 }
 
+# Resize terminal window (when possible)
+function axzsh_resize_terminal {
+       printf '\e[8;%d;%dt' "$2" "$1"
+}
+
 # Set terminal title
 
 # Set terminal "hardstatus" and "icon title"