Getting build errors on Theme attributes

[plevintampabay]

I want to change the values of a couple attributes in Theme.

I've looked at the file /platforms/android-15/data/res/themes.xml and found these attributes in the definition of Theme --

<item name="androidanelMenuIsCompact">false</item>
<item name="androidanelMenuListWidth">296dip</item>

Yes, my manifest has --

<uses-sdk
android:minSdkVersion="15"
android:targetSdkVersion="15" />

In my styles.xml file I've added --

<style name="AppTheme" parent="@android:style/Theme">
<item name="androidanelMenuIsCompact">false</item>
<item name="androidanelMenuListWidth">296dip</item>
</style>

when I build, the item lines get the errors --

No resource found that matches the given name: attr 'androidanelMenuIsCompact'.
No resource found that matches the given name: attr 'androidanelMenuListWidth'.

We know these are valid attributes, since they are in the theme definition, and they are also in the file attrs.xml, in the same directory as themes.xml. So what is the problem?