diff options
| author | Furkan Sahin <furkan-dev@proton.me> | 2016-02-27 01:25:33 +0100 |
|---|---|---|
| committer | Furkan Sahin <furkan-dev@proton.me> | 2016-02-27 01:25:33 +0100 |
| commit | 4c1c91c084b1f5f33bf20416cea8aa320a08ead1 (patch) | |
| tree | 0d181fc318e06274ea39f6acbbea3989a92d9c1f /protocols/desktop-shell.xml | |
| parent | ee621a9e76df4f5c47ab3ee243d84d57075eac9f (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> |