Toolbox buggy with GTK3 on Debian testing

[Giuliano]

Hello,

the toolbox version 1.5.2 on my Debian testing system was hardly usable (random crashes, panels sometimes not displaying anything, high CPU usage while idle).
It seems that making it use GTK2 instead of GTK3 improved the situation a lot. For that, I added the two lines
---launcher.GTK_version

2

below the existing launcher option in toolbox.ini.

Giuliano

[Markus Alexander Kuppe]

Hi Giuliano,

thank you for your fix. It is exactly what we have adopted for the next
Toolbox release.

Thanks

Markus

[1]
https://github.com/tlaplus/tlaplus/commit/072eebb043dc7b56c5e11351b33f029f90d095b4#diff-e1481043e589e5735af347a265dc90c1