Изменение размера шрифта gnome-terminal (увеличение, уменьшение), но регулировка высоты и ширины терминала для получения «блокировки» размеров окна

Question

Мне очень нравится клавиши масштабирования (control- + and control--) Gnome-терминал Ubuntu 13.04, но при масштабировании экран терминала также становится шире (и наоборот при масштабировании)

Есть ли способ сохранить размер пикселя окна примерно постоянным, а масштабирование шрифта - размер и внешний вид (это означает, что размеры и размеры внутренних элементов символов должны уменьшаться и расти соответственно)?

Направленное поведение частично реализовано уже в случае, если окно достигло максимального размера экрана, чем оно делает своего рода «блокировку на месте» и работает так, как будто я хотел бы, чтобы он работал в тех случаях, когда окно не но максимальный ....

Когда я помню, в более старых версиях Ubuntu у меня было это поведение уже (но я больше не уверен).

Любые идеи? Спасибо за помощь.

Answer 1

Консольный терминал (http://konsole.kde.org) от KDE имеет эту функцию.

Я запускаю GNOME 3.8.4, но использую консоль в качестве моего основного терминала (по этой причине на самом деле).

Answer 2

Я не могу сказать вам точно, но поскольку это GNOME и, кроме того, GNOME 3, маловероятно, что у Терминала есть такая встроенная настройка.

Но в Linux вы всегда можете импровизировать. Как насчет следующего.

1. Найти программу, которая может отправлять ключи в окно X11. Может быть xdotool.
2. Найти программу, которая может управлять геометрией окна X11. Возможно xdotool.
3. Напишите короткий сценарий, который находит окно терминала (возможно, только сфокусированное), отправляет его Ctrl-Plus/Ctrl-Minus, ждет маленький бит, а затем задает его геометрию тому, который вам нравится (или тому, изначально вы также можете запросить xdotool).
4. Привяжите этот скрипт к сочетанию клавиш по вашему выбору, скажем Win + Plus/Win + Minus. Не знаю, как это сделать в современном Ubuntu/GNOME 3, но Metacity от GNOME 2 имел ключи GConf для пользовательских ярлыков.