Ubuntu 13.04 の gnome-terminal ではズーム キー (control-+ と control--) がとても気に入っていますが、ズームインすると端末の画面も広くなります (ズームアウトすると逆になります)。
フォントサイズをズームインおよびズームアウトしながら、ウィンドウのピクセル寸法をほぼ一定に保つ方法はありますか (つまり、内部の端末文字の高さと幅の寸法はそれに応じて縮小および拡大する必要があります)。
ウィンドウが最大画面サイズに達した場合に備えて、目的の動作は部分的に既に実装されており、ウィンドウがまだ最大化されていない場合に動作するように機能します. ..
私が覚えているとき、Ubuntuの古いバージョンでは、すでにこの動作がありました(しかし、それ以上はわかりません)。
何か案は?助けてくれてありがとう。