Feature request: UI margins

Pilvinen commented 3 years ago

First of all, thank you for your excellent and continued support after the team of Gedit so horribly dropped the ball and messed everything up. Your efforts are much appreciated.

There is only one small request I would ask of you that should be fast and simple to implement. It is a thing which has been bothering me for years.

I would like to see an option for setting UI margins for the text editing space - mind you, not margins inside the text editing field itself (I'm very well aware that this is not that kind of an editor), ie. not margins for text formatting. But. There is a problem with UI. The text is too close to the edge of a screen / edge of the window. It feels uncomfortable, claustrophobic, and makes reading harder. When I use Pluma I usually end up adding a single space before a line of text in my notes as a work around. This is a problem especially with flat screen monitors which have smaller and smaller bevels and also with desktop themes with thin window edges. But also with the line numbers enabled.

So, I would like to see an option for, hm, "indenting" the edges of the UI before the editor space or after the line numbers when they are enabled.

Either create a config option for this (preferable?) or adjust the defaults, please.

Here's a screenshot illustrating the problem:

Thank you for considering this. I look forward to seeing it in one of the future updates.

raveit65 commented 3 years ago

I think it's more a problem with your Gtk theme. The text use the same background color than the edge with line numbers. Bildschirmfoto zu 2021-03-13 14-25-10 With our BlackMate theme or other themes from Mate it looks much clearer. But Ok, when a volunteer like to add it with a on/off switch in settings.

For the moment you can play it bit with your GTK theme.

[rave@mother ~]$ cat ~/.config/gtk-3.0/gtk.css 
.pluma-window .pluma-view {
    padding: 0px 0px 0px 5px;
    background-color: shade (@theme_bg_color, 0.37);
    color: shade (@theme_fg_color, 5.87);
}

This file override every installed GTK theme, color definition you will find in your theme under /usr/share/themes/. The padding doesn't work very nice, changing backgound-color and color of the line numbers works fine. Bildschirmfoto zu 2021-03-13 15-06-45

Pilvinen commented 3 years ago

Thank you for your advice. Unfortunately, after trying to copy the settings you recommended to about ~5 different locations where I found gtk.cs - none of them did anything to alleviate the problem.

I also tried several different themes from the GUI settings of my desktop and none of them had any effect on the issue in Pluma.

I can, of course, change the color theme in Pluma, and I tried that. But the issue isn't really the color, it's the lack of margin in between the edge of the screen (or alternatively between the numbered lines, if those are enabled) and the text editing field.

In case you are interested in more details, the locations I tried editing gtk.cs were: ~/.config/gtk-2.0/gtk.css ~/.config/gtk-3.0/gtk.css ~/.config/gtk-4.0/gtk.css /usr/share/themes/Greybird-dark/gtk-3.0/gtk.cs

My operating system is Xubuntu 20.04, ie. Ubuntu with XFCE desktop. Which comes with a slightly outdated Pluma 1.24.0 by default.

mate-desktop / pluma

Feature request: UI margins #625