Help!
Is there a way to change docker hight or arrow size. It seems the arrow is
bigger.
[image: iShot_2023-01-10_10.01.02.png]
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, sen
The height would probably be set in the CSS rules in the theme's qt
stylesheet. I'm not sure just now which selector would cover it. The
arrows must be icons somewhere, but you'd probably have to look in the
plugin's code to find them.
On Monday, January 9, 2023 at 9:02:31 PM UTC-5 wangz...@g
The plugin is *nav_qt.py*.
On Tuesday, January 10, 2023 at 12:11:46 AM UTC-5 Thomas Passin wrote:
> The height would probably be set in the CSS rules in the theme's qt
> stylesheet. I'm not sure just now which selector would cover it. The
> arrows must be icons somewhere, but you'd probably h
Thanks, I will try to learn it.
在2023年1月10日星期二 UTC+8 13:27:09 写道：
> The plugin is *nav_qt.py*.
>
> On Tuesday, January 10, 2023 at 12:11:46 AM UTC-5 Thomas Passin wrote:
>
>> The height would probably be set in the CSS rules in the theme's qt
>> stylesheet. I'm not sure just now which selector
