romicolman opened this issue 3 months ago · 1 comments
Can we check if the current font for the tooltip in errors is aligned with the one that we set for the ODE?