diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-19 21:26:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-19 21:26:30 +0100 |
| commit | d3129058b1e0269cbf7fe086299aa632e99ff94b (patch) | |
| tree | dc8171361c94a4ed335d98b18630380e8f5dd74f /doc/classes/ProjectSettings.xml | |
| parent | 84f5c7921780e0eccaaeb07c95e18a4ec2ac1d57 (diff) | |
| parent | 84a69d7429635984999852b69046706effd2e9ad (diff) | |
Merge pull request #51159 from Calinou/improve-default-project-theme
Diffstat (limited to 'doc/classes/ProjectSettings.xml')
| -rw-r--r-- | doc/classes/ProjectSettings.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/classes/ProjectSettings.xml b/doc/classes/ProjectSettings.xml index 357186b917..a92afb7ea7 100644 --- a/doc/classes/ProjectSettings.xml +++ b/doc/classes/ProjectSettings.xml @@ -562,8 +562,7 @@ <member name="gui/theme/custom_font" type="String" setter="" getter="" default=""""> Path to a custom [Font] resource to use as default for all GUI elements of the project. </member> - <member name="gui/theme/use_hidpi" type="bool" setter="" getter="" default="false"> - If [code]true[/code], makes sure the theme used works with HiDPI. + <member name="gui/theme/default_theme_scale" type="float" setter="" getter="" default="1.0"> </member> <member name="gui/timers/incremental_search_max_interval_msec" type="int" setter="" getter="" default="2000"> Timer setting for incremental search in [Tree], [ItemList], etc. controls (in milliseconds). |