jofiedler
Results
1
issues of
jofiedler
Unfortunately there is no possibility to change the font size in the terminal.
enhancement