@~suv thanks for testing.
> with GTK+/Quartz 2.24.13 (native backend): triggers bug #1046068 It seems that bug can be triggered (by clicking on a symbol) without this patch as well.
@~suv thanks for testing.
> with GTK+/Quartz 2.24.13 (native backend): triggers bug #1046068
It seems that bug can be triggered (by clicking on a symbol) without this patch as well.