Customizing the fon...
 
Notifications
Clear all

Customizing the font size of the user interface


elmonk
(@elmonk)
New Member
Joined: 2 years ago
Posts: 1
Topic starter  

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: 3 years ago
Posts: 57
 

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: