diff options
| author | Mikkel Oscar Lyderik <mikkeloscar@gmail.com> | 2016-02-27 01:25:33 +0100 |
|---|---|---|
| committer | Mikkel Oscar Lyderik <mikkeloscar@gmail.com> | 2016-02-27 01:26:17 +0100 |
| commit | e19e32cf81a2f28bc9434b252facc96f1a55cb91 (patch) | |
| tree | 0d181fc318e06274ea39f6acbbea3989a92d9c1f /protocols/desktop-shell.xml | |
| parent | 5e253fdd9ac5c8733203eec9870aa0ca2cd238fd (diff) | |
Make protocol specifications follow the DTD
Gets rid of these warnings:
WARNING: XML failed validation against built-in DTD
Diffstat (limited to 'protocols/desktop-shell.xml')
| -rw-r--r-- | protocols/desktop-shell.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/protocols/desktop-shell.xml b/protocols/desktop-shell.xml index dd81574a..581f0c5d 100644 --- a/protocols/desktop-shell.xml +++ b/protocols/desktop-shell.xml @@ -109,12 +109,12 @@ </enum> <request name="set_panel_position" since="3"> - <arg name="position" type="uint"/> <description summary="set panel position"> Tell the shell which side of the screen the panel is located. This is so that new windows do not overlap the panel and maximized windows maximize properly. </description> + <arg name="position" type="uint"/> </request> </interface> |