Currently, we generate an AndroidManifest.xml with two themes essentially hardcoded: the launcher activity has the Titanium theme (parent android:Theme, the default theme for API level 10 and earlier) and the TiModal and TiTranslucent activities (used for modal windows, among other things) uses the android Translucent theme (again, an API level 10 and earlier theme). You can set an application-level theme in tiapp.xml, but it will be overridden by the activity themes.
We can override these activity themes with a custom android manifest, or by copying activities from the manifest into tiapp.xml and modifying them, but I'm wondering whether it might be more straightforward to add a tiapp.xml property that specifies the default themes for each of these pre-generated activities.
There may be other approaches here, but it seems like we could make themes easier to use.
One alternate approach: simple include the boilerplate for these activities in the default tiapp.xml, instead of forcing users to build the application and copy the boilerplate into the tiapp.xml file in order to change themes.