▲ 7 r/gnome
How can I add margin padding to Gnome Text Editor?
Trying to brute force Gnome Text Editor to make it a bit more appealing to the eye (at least to me) by adding some padding to the text area so it's not just stretched right to the edge.
Does anybody have a .css script that could work and/or where to save said script?
Thanks
u/Gypsum-Fantastic — 19 days ago