|
From: higuita <hig...@ya...> - 2017-02-21 01:51:27
|
Hi
On Tue, 21 Feb 2017 00:17:09 +0100, "Michael M. Tung" <mt...@ma...>
wrote:
> It is possible to increase the fonts size with overlays, but I am
> looking for a convenient way to also scale bigger the title bars
> (increasing the height of the bars so that the bigger fonts fit in
> comfortably).
I do not have a HiDPI screenm but when i increase the font size,
the height of their respective bars also increase to match the
font. Have you tried it? Can you make a screenshot if it is wrong
higuita
--
Naturally the common people don't want war... but after all it is the
leaders of a country who determine the policy, and it is always a
simple matter to drag the people along, whether it is a democracy, or
a fascist dictatorship, or a parliament, or a communist dictatorship.
Voice or no voice, the people can always be brought to the bidding of
the leaders. That is easy. All you have to do is tell them they are
being attacked, and denounce the pacifists for lack of patriotism and
exposing the country to danger. It works the same in every country.
-- Hermann Goering, Nazi and war criminal, 1883-1946
|