the activity indicator is right at the bottom of the status bar and not in the middle, as I think it should be
The position is set by the CSS of your GTK desktop theme, you can override the theme CSS with geany.css perhaps adding `margin-bottom` or other positioning for `progressbar`. What value you need depends on your chosen font and statusbar padding so can't tell you a number.
Cheers Lex
On Sat, 21 Oct 2023 at 07:31, Georg Klingenberg via Users users@lists.geany.org wrote:
the activity indicator is right at the bottom of the status bar and not in the middle, as I think it should be _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
but all other fields (all text) are positioned in the middle (I'm talking of the last line at the bottom)
On 21.10.2023 03:14, Lex Trotman via Users wrote:
The position is set by the CSS of your GTK desktop theme, you can override the theme CSS with geany.css perhaps adding `margin-bottom` or other positioning for `progressbar`. What value you need depends on your chosen font and statusbar padding so can't tell you a number.
Cheers Lex
On Sat, 21 Oct 2023 at 07:31, Georg Klingenberg via Users users@lists.geany.org wrote:
the activity indicator is right at the bottom of the status bar and not in the middle, as I think it should be _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Hi Georg, Can you perhaps provide a screenshot of what you're seeing?
Thank you,
when running Pylint
On 21.10.2023 17:48, Lucas Vieites via Users wrote:
Hi Georg, Can you perhaps provide a screenshot of what you're seeing?
Thank you,
Lucas Vieites lucas.vieites@gmail.com
On Sat, Oct 21, 2023, 17:22 Georg Klingenberg via Users users@lists.geany.org wrote:
but all other fields (all text) are positioned in the middle (I'm talking of the last line at the bottom) On 21.10.2023 03:14, Lex Trotman via Users wrote: > The position is set by the CSS of your GTK desktop theme, you can > override the theme CSS with geany.css perhaps adding `margin-bottom` > or other positioning for `progressbar`. What value you need depends > on your chosen font and statusbar padding so can't tell you a number. > > Cheers > Lex > > On Sat, 21 Oct 2023 at 07:31, Georg Klingenberg via Users > <users@lists.geany.org> wrote: >> the activity indicator is right at the bottom of the status bar and not in the middle, as I think it should be >> _______________________________________________ >> Users mailing list -- users@lists.geany.org >> To unsubscribe send an email to users-leave@lists.geany.org > _______________________________________________ > Users mailing list -- users@lists.geany.org > To unsubscribe send an email to users-leave@lists.geany.org _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Users mailing list --users@lists.geany.org To unsubscribe send an email tousers-leave@lists.geany.org
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).
Do you or anyone else know if this was in 1.38 different? I could imagine this is caused by the change to GTK3 but this was already in 1.38.
Regards, Enrico
P.S.: Georg, you are subscribed to the list with firstname.surname@gmail.com but you send your messages from firstnamesurname@gmail.com and so the list a software thinks they are sent from someone else and I have to manually accept those mails. Not a big deal but it works only when I check my mails to get notified.
the bar was the same but not quite that low (but it was also not in the middle)
On 21.10.2023 21:53, Enrico Tröger via Users 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).
Do you or anyone else know if this was in 1.38 different? I could imagine this is caused by the change to GTK3 but this was already in 1.38.
Regards, Enrico
P.S.: Georg, you are subscribed to the list with firstname.surname@gmail.com but you send your messages from firstnamesurname@gmail.com and so the list a software thinks they are sent from someone else and I have to manually accept those mails. Not a big deal but it works only when I check my mails to get notified.
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
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.
Cheers Lex
Do you or anyone else know if this was in 1.38 different? I could imagine this is caused by the change to GTK3 but this was already in 1.38.
Regards, Enrico
P.S.: Georg, you are subscribed to the list with firstname.surname@gmail.com but you send your messages from firstnamesurname@gmail.com and so the list a software thinks they are sent from someone else and I have to manually accept those mails. Not a big deal but it works only when I check my mails to get notified.
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
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
On 22.10.23 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; }
Just in case anyone doesn't know yet: you can easily modify custom CSS from within Geany: Tools->Configuration Files->geany.css
Hey there,
Enrico Tröger via Users wrote:
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 :( ).
It looks like percentages and several other unit types are accepted in GTK 3.0 and 4.0: * https://docs.gtk.org/gtk3/css-properties.html * https://docs.gtk.org/gtk4/css-properties.html
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
the*font size em* puts the widget right into the middle (don't laugh)
progressbar trough { margin-bottom: 1em; }
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 tousers-leave@lists.geany.org
GTK doesn't accept percantage for `margin-*` values, it only accepts `<length>` not `<length-percentage>` that "real" CSS accepts for those.
Cheers Lex
PS, or of course the GTK docs could be wrong ... nah never ;-P
On Mon, 23 Oct 2023 at 01:45, Little Girl via Users users@lists.geany.org wrote:
Hey there,
Enrico Tröger via Users wrote:
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 :( ).
It looks like percentages and several other unit types are accepted in GTK 3.0 and 4.0:
-- Little Girl
There is no spoon. _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Hey there,
Lex Trotman via Users wrote:
GTK doesn't accept percantage for `margin-*` values, it only accepts `<length>` not `<length-percentage>` that "real" CSS accepts for those.
That's a shame. Luckily, I haven't yet run into that.
PS, or of course the GTK docs could be wrong ... nah never ;-P
It sounds like they could use a margin for error.
there are also relative lengths 😂
On 23.10.2023 20:13, Little Girl via Users wrote:
Hey there,
Lex Trotman via Users wrote:
GTK doesn't accept percantage for `margin-*` values, it only accepts `<length>` not `<length-percentage>` that "real" CSS accepts for those.
That's a shame. Luckily, I haven't yet run into that.
PS, or of course the GTK docs could be wrong ... nah never ;-P
It sounds like they could use a margin for error.
