AresValley
Customizing the fon...
 

Customizing the font size of the user interface  

  RSS

elmonk
(@elmonk)
New Member
Joined: 9 months ago
Posts: 1
20/09/2019 12:40 pm  

Hello,

on Ubuntu 18.04 LTS.

It would be nice if it would be possible to customize the font size of the user interface.

Thanks, cco

 


Quote
MarcoDT
(@marcodt)
Member Admin
Joined: 1 year ago
Posts: 40
21/09/2019 6:05 pm  

Hi elmonk, thanks for your suggestion! I've put your request into the TODO list ( https://github.com/AresValley/Artemis/issues/14 ) on github


ReplyQuote
Share:

Please Login or Register