bug#20107: [PATCH 3/3] css-mode: Update CSS property list

[Stefan Monnier]

> There was code for extracting these properties automatically, but it
> produced an incorrect property list for CSS2,

This code was written long ago, and these kinds of things often need to
be tweaked for new versions of the file.

> and it didn't include any CSS3 modules.

Obviously ;-)

> I found it more convenient to compile the list manually, and I can
> volunteer to keep this list updated.  If it is desirable still to keep
> the automatic extraction code, I can look into fixing that as well.

As long as the source document lends itself to it, I like to have actual
code to extract the data (I find it easier to write (and tweak next time
around) the code than to do the extraction manually).

But if you're volunteering to be css-mode's maintainer, it's your call.

Other than that all 3 patches look good, feel free to install them.


        Stefan