dpi zoom on title bar

This commit is contained in:
2019-05-16 10:38:23 +02:00
parent 8315424f55
commit 4f39dcf61d
3 changed files with 48 additions and 29 deletions

View File

@@ -1634,6 +1634,9 @@ Here's a list of what's available in this release.
<border id="ext-fbf" height="20" width="30" color="0 0 0 1" align="center" justify="center" margin="0 5 0 0">
<text id="txt-rec" text="FbF" color="0 0 0 1"/>
</border>
<border id="ext-dpi" height="20" width="50" color=".2" align="center" justify="center" margin="0 5 0 0">
<text id="txt-dpi" text="4x-dpi" color="1"/>
</border>
</node>
</border>
<!-- toolbar -->