How to change margin/padding

Swordfish90 / cool-retro-term

A good looking terminal emulator which mimics the old cathode display...

21.76k stars 836 forks source link

How to change margin/padding #842

Open robmifsud opened 2 months ago

robmifsud commented 2 months ago

I know there is a margin slider in the gui settings. However, I would like to know if it is possible to make the margin even larger and have different values for left/right margins and top/bottom. Thanks