noah / xfce4-terminal-font

programmatically change the font size of an `xfce4-terminal`

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

xfce4-terminal doesn't provide a facility for {in,de}creasing font size in a running terminal. However, xfce4-terminal does watch the file $XDG_CONFIG_PATH/xfce4/terminal/terminalrc for changes to the FontName directive (which includes size).

Therefore, this script can be bound to a via a keyboard shortcut that will change the font size, albeit after a short delay.

No thanks to urxvt-unicode for not supporting fontconfig, which is necessary to run an unpatched Monaco font in Powerline, which I must have, all of which prompted my switch to xfce4-terminal which does support fontconfig and ... oh, nevermind.

To use it,

% ./xfce4-terminal +
% ./xfce4-terminal -
% ./xfce4-terminal
12
% ./xfce4-terminal 7.5

In Awesome,

awful.key({ "Control", "Shift" }, "Up", function () awful.util.spawn(script_dir .. "/xfce4-terminal-font +", false)end),
awful.key({ "Control", "Shift" }, "Down", function () awful.util.spawn(script_dir .. "/xfce4-terminal-font -", false)end), })})

About

programmatically change the font size of an `xfce4-terminal`


Languages

Language:Python 100.0%