~~NOTRANS~~
~~Title: Pixel scaling~~

Our default implementation multiplies a pixel with factor 2.0, because 1px is not enough on mobile devices. This applies to preferred/min/max sizes and all gaps/anchor positions. If this doesn't work for your UI, simply change the factor in mobile_style.xml:

<file xml>
<options>
  <!-- only on mobile devices and not in browser -->
  <mobilescaling>2.0</mobilescaling>
</options>
</file>