Jonathan Coates 41b6711b38 Change button text in render rather than an override ...

This made more sense on 1.19.2 and before, but now that we have to do
this for tooltips, we might as well do it for messages as well.

Closes #1538, though hopefully will be resolved on the VO side too.

2023-07-27 19:12:27 +01:00

..

src

Change button text in render rather than an override

2023-07-27 19:12:27 +01:00

build.gradle.kts

Add EMI compatibility

2023-07-10 20:31:06 +01:00