Support HiDPI scaling for diagram ruler and inactive model text
Currently the ruler always renders like there is no zoom. This causes the ruler to be so small that it is impossible to read when display zoom is used.
Also the model activity tracker shows a text box that does not scale according to display zoom settings.
Both of these should scale according to the AWT display zoom (Toolkit.getScreenResolution() / 96
).
Edited by Tuukka Lehtonen