Как получить свойства шрифта заголовка в JOptionPane. Я использую систему ОС Linux. Мы можем получить свойства шрифта другого компонента java с помощью getFont API, но поскольку панель заголовка зависит от ОС (native), каков способ получить свойства шрифта заголовка?Что такое свойства шрифта заголовка в JOptionPane?
Вы не можете реально управлять украшениями заголовка в Linux до Wayland, который еще не обобщен и даже в мире Wayland, который будет зависеть от среды рабочего стола, его инструментария и того, насколько он дает отдельные приложения.
Возможно, это потерянная причина, если вы добавите барьер инструментальных средств Java/native. Java даже не использует GTK3, я сомневаюсь, что GTK2 когда-либо получит больше, чем минимальная любовь Wayland, и использование Wayland от GTK3, вероятно, потребует более глубокой поддержки, чем просто минимальная замена клея GTK2.
Возможно, вам больше повезло с SWT.
У меня установлен gnome 2.28.2. Я пытаюсь установить gnome-tweak-tool, но пока не могу установить. – user3153014
Если поддерживается, то вы могли бы использовать 'setDefaultLookAndFeelDecorated()', видел [здесь] (http://stackoverflow.com/q/7612592/230513) для 'JFrame'. – trashgod