u/Gypsum-Fantastic

▲ 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

reddit.com
u/Gypsum-Fantastic — 19 days ago

If so, how do your different pens write on them and how intense is the ruling?

Been hunting after grid legal pads that aren't headache inducing to look at.

Thanks!

u/Gypsum-Fantastic — 1 month ago