gnome-terminal font resize (zoom in, zoom out), но отрегулируйте высоту и ширину терминала наоборот для получения "блокировки" размеров окна

Question

gnome-terminal font resize (zoom in, zoom out), но отрегулируйте высоту и ширину терминала наоборот для получения "блокировки" размеров окна

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

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

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

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

Есть идеи? Спасибо за помощь.

426 2

gnome-terminal zooming

2 ответов:

Comments

Ничего не найдено.

Steven · Accepted Answer · 2014-02-15 03:28:55

Терминал Konsole (http://konsole.kde.org ) у KDE есть такая особенность.

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

Vasiliy Faronov · Accepted Answer · 2013-08-04 19:30:03

Я не могу сказать вам наверняка, но так как это GNOME и, более того, GNOME 3, маловероятно, что терминал имеет такую встроенную настройку.
Но в Linux всегда можно импровизировать. Как насчет следующего.

найдите программу, которая может отправлять ключи в окно X11. Может быть xdotool.

найдите программу, которая может управлять геометрией окна X11. Может быть xdotool.

напишите короткий скрипт, который находит окно терминала (возможно, только сфокусированное один), посылает ему Ctrl-Plus / Ctrl-Minus, ждет немного, а затем устанавливает его геометрию на ту, которая вам нравится (или на то, что она была изначально, что вы также можете запросить с помощью xdotool).

привяжите этот скрипт к выбранному вами сочетанию клавиш, скажем Win + Plus / Win+Minus. Не знаю, как это сделать в современном Ubuntu / GNOME 3,но в GNOME 2 Metacity раньше были ключи GConf для пользовательских ярлыков.