The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
2answers
155 views

How to reduce size of massive title bar margin/padding in GNOME

I recently did an upgrade from 15.04 to 15.10 and I don't believe the margins were nearly this ridiculous so I'm wondering if maybe something got reset/changed. As you can see, top GNOME bar is ...
5
votes
1answer
387 views

Add asymmetrical margin on LCD display?

My old laptop display is starting to break, and I have many dead pixels and other physical issues on the left side of the screen only. Of course I should get a new monitor (or ideally a new laptop), ...
6
votes
4answers
6k views

How can I cut the margin of a PDF or djvu file for optimal booklet printing?

I have a file which has exaggerated margins. This forces me to print it as a booklet, otherwise I feel I'm waisting paper (a good size of the font allows me to do so). But if I print directly in ...
7
votes
1answer
1k views

How do I adjust the margin for the line numbers in gEdit?

Recently I was able to increase the left margin between code and line numbers in Gedit (Gnome-text-editor) in Ubuntu 12.10. I don't recall how I achieved this, neither do I recall how Gedit reverted ...