Aligned naming of menu item types

This commit is contained in:
SomeoneOnEarth
2023-11-19 02:04:23 +01:00
parent ab995db5ba
commit 440980a96f
39 changed files with 40 additions and 40 deletions

View File

@ -24,7 +24,7 @@
<!-- Best be a public URL in order to work away from your home LAN and have a trusted HTTPS certificate -->
<property id="config_url" type="string"></property>
<property id="lean_ui" type="boolean"></property>
<property id="types_representation" type="boolean"></property>
<property id="menu_alignment" type="boolean"></property>
</properties>