On 08/24/2017 03:51 PM, Emmanuel Kasper wrote:
On 07/26/2017 03:49 PM, Thomas Lamprecht wrote:
The current size was chosen with the older, more compact, classic
theme. The Crisp theme, now in use, has a bit more spaces and bigger
font sizes to adapt to the increased pixel density of current
disp
On 07/26/2017 03:49 PM, Thomas Lamprecht wrote:
> The current size was chosen with the older, more compact, classic
> theme. The Crisp theme, now in use, has a bit more spaces and bigger
> font sizes to adapt to the increased pixel density of current
> displays.
> Increase the size a bit (~13%) but
The current size was chosen with the older, more compact, classic
theme. The Crisp theme, now in use, has a bit more spaces and bigger
font sizes to adapt to the increased pixel density of current
displays.
Increase the size a bit (~13%) but try to keep the aspect ratio.
Signed-off-by: Thomas Lamp
