gs-extensions-drop-down-terminal icon indicating copy to clipboard operation
gs-extensions-drop-down-terminal copied to clipboard

Published 20 hours ago • verified publisher icon zzrough

inner padding (between window edge and terminal text)

Open edclement opened this issue 8 years ago • 1 comments

Is there anyway to add some padding between the window edge and the terminal text? The font is right up against the edge and it's a bit hard on my eyes.

edclement avatar Mar 30 '16 01:03 edclement

I need this too!

Saren-Arterius avatar Apr 06 '16 11:04 Saren-Arterius