thank you for all the efforts (seems to be a foggy walk on pixels: sickening for a GUI)
this is about how it was in 1.38
progressbar trough { margin-bottom: 7; }
On 22.10.2023 15:23, Enrico Tröger via Users wrote:
On 22.10.23 02:25, Lex Trotman via Users wrote:
On Sun, 22 Oct 2023 at 05:53, Enrico Tröger via Users users@lists.geany.org wrote:
On 21.10.23 18:21, Georg Klingenberg via Users wrote:
when running Pylint
Interesting, it's the same here (with another theme than Adwaita). AFAIR the progress bar was always at the right side of the status bar but it filled the full height (vertically).
Yeah, but it went on a diet :-)
Here by default it is not in the middle, but not right on the bottom either.
And as I said geany.css can move it:
progressbar { margin: 10px 10px 20px 10px; }
thats top right bottom left and you may need to adjust the values for your screen resolution.
For me the following works:
progress { min-height: 10px; } progressbar trough { padding-top: 5px; padding-bottom: 5px; }
This will ensure the progressbar has a height of 10px and so requires more space and is better visible.
Though it doesn't position it and maybe you need to tweak the pixel values to match the height of your statusbar.
I got this by searching the net and trial and error. Thank you, GTK3 (and hooray, GTK4 got even worse).
I hope there are better approaches but I'm not good as CSS and CSS in GTK is very limited (e.g. you cannot use percentages and so it's all pixel values :( ).
HTH.
Regards, Enrico
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org