gnome-shell/data/theme
Owen W. Taylor 2232a92ba8 Rename ShellThemeImage to ShellBorderImage
The current CSS3 border-image is close to a superset of what we were
doing for -hippo-background-image. Woot! rename ShellThemeImage to
ShellBorderImage and change parsing to look for:

 border-image: <url> <number>...

Rather than

 -shell-background-image: <url> <length>...

percentanges for the border sizes are not currently supported, neither
are the keywords for handling of the middle part. We always do 'stretch'
for now.
2009-09-21 19:32:32 -04:00
..
gnome-shell.css Rename ShellThemeImage to ShellBorderImage 2009-09-21 19:32:32 -04:00
scroll-button-down-hover.png Fix installation and distribution of stylesheet data 2009-09-18 16:29:28 -04:00
scroll-button-down.png Fix installation and distribution of stylesheet data 2009-09-18 16:29:28 -04:00
scroll-button-up-hover.png Fix installation and distribution of stylesheet data 2009-09-18 16:29:28 -04:00
scroll-button-up.png Fix installation and distribution of stylesheet data 2009-09-18 16:29:28 -04:00
scroll-vhandle.png Fix installation and distribution of stylesheet data 2009-09-18 16:29:28 -04:00