multi-resolution backgrounds

[Matthias Clasen]

I have now pushed support for multi-resolution backgrounds into rawhide.
The file format for this has slightly changed, to support
multi-resolution in animated backgrounds as well. The way it works is
that you can use one or more <size> elements whereever the format
previously expected a filename:

  <transition>
    <duration>30</duration>
    <from>
      <size width="800" height="600">/path/to/file1</size>
      <size width="1600" height="1200">/path/to/file2</size>
      <size width="1920" height="1200">/path/to/file3</size>
    </from>
    <to>
      <size width="800" height="600">/path/to/file4</size>
      <size width="1600" height="1200">/path/to/file5</size>
      <size width="1920" height="1200">/path/to/file6</size>
    </to>
  </transition>
  <static>
    <duration>10000</duration>
    <file>/the/end</file>
  </static>


Matthias