Tools panel: height of tabs (nitpicking question, sorry)

Everything else that doesn't fall into one of the other categories.
User avatar
Kurzer
Posts: 90
Joined: Mon May 26, 2014 9:33 am

Tools panel: height of tabs (nitpicking question, sorry)

Post by Kurzer »

Hi,

I'm currently trying out the demo version of SpiderBasic and have set the settings identical to my PureBasic IDE.

In direct comparison (when I maximize both windows and bring both to the foreground), I notice that the tabs in Tool Panel in Spider are a few pixels bigger than in the PureBasic IDE.
It's just nitpicking, but can I possibly adjust this height somewhere in the prefs file of SpiderBasic?

Image

Kurzer
SB 2.32 x86, Browser: Iron Portable V. 88.0.4500.0 (Chromium based), User age in 2023: 55y
"Happiness is a pet." | "Never run a changing system!"