I tried turning the tool button into a tool toggle button, but it doesn't have any effect. This is probably because I'm using deprecated toolbar features. The new toolbar doesn't seem to support arbitrary widgets, so I may replace the toolbar with a hbox, which will also resolve this bug.
I tried turning the tool button into a tool toggle button, but it doesn't have any effect. This is probably because I'm using deprecated toolbar features. The new toolbar doesn't seem to support arbitrary widgets, so I may replace the toolbar with a hbox, which will also resolve this bug.