How to change docker arrow icon size?

43 views

Skip to first unread message

zhaohe wang

unread,

Jan 9, 2023, 9:02:31 PM1/9/23

to leo-editor

Help!

Is there a way to change docker hight or arrow size. It seems the arrow is bigger.

Thomas Passin

unread,

Jan 10, 2023, 12:11:46 AM1/10/23

to leo-editor

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.

Thomas Passin

unread,

Jan 10, 2023, 12:27:09 AM1/10/23

to leo-editor

The plugin is nav_qt.py.

zhaohe wang

unread,

Jan 11, 2023, 10:03:09 PM1/11/23

to leo-editor

Thanks, I will try to learn it.

Reply all

Reply to author

Forward

0 new messages