diff options
| author | Anton Fedchin <anightik@gmail.com> | 2018-05-18 18:48:38 +0300 |
|---|---|---|
| committer | Anton Fedchin <anightik@gmail.com> | 2018-05-26 16:23:32 +0300 |
| commit | d059d7ba944b9f1f39d297d096c499f44c4bf07a (patch) | |
| tree | 12280e6d7642882d584d967e2537533ea510c74e /system/settings | |
| parent | b5026d40702ccdafc53d7bb30454da48f53c8bc1 (diff) | |
[win32] windowing: adapt the code to the latest changes.
Diffstat (limited to 'system/settings')
| -rwxr-xr-x | system/settings/settings.xml | 1 | ||||
| -rw-r--r-- | system/settings/win10.xml | 3 | ||||
| -rw-r--r-- | system/settings/win32.xml | 9 |
3 files changed, 4 insertions, 9 deletions
diff --git a/system/settings/settings.xml b/system/settings/settings.xml index 8dd93e1ee0..1a408886cf 100755 --- a/system/settings/settings.xml +++ b/system/settings/settings.xml @@ -1994,6 +1994,7 @@ <condition>HAVE_X11</condition> <condition>HAVE_WAYLAND</condition> <condition>HAVE_OSX</condition> + <condition>HAS_DX</condition> </or> </requirement> <level>0</level> diff --git a/system/settings/win10.xml b/system/settings/win10.xml index ffdb79656d..6368bdfcdb 100644 --- a/system/settings/win10.xml +++ b/system/settings/win10.xml @@ -11,6 +11,9 @@ <default>false</default> <visible>false</visible> </setting> + <setting id="videoscreen.monitor"> + <visible>false</visible> + </setting> </group> </category> <category id="audio"> diff --git a/system/settings/win32.xml b/system/settings/win32.xml index ebd6241374..98732035ba 100644 --- a/system/settings/win32.xml +++ b/system/settings/win32.xml @@ -1,12 +1,3 @@ <?xml version="1.0" encoding="utf-8" ?> <settings version="1"> - <section id="system"> - <category id="display"> - <group id="1"> - <setting id="videoscreen.fakefullscreen"> - <requirement negated="true">HAS_GL</requirement> - </setting> - </group> - </category> - </section> </settings> |