Optimize "traditional" tileset a bit; bump version for testing

[FreeShisen] / res / xml / preferences.xml

<?xml version="1.0" encoding="utf-8"?>
<PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android" >
    <ListPreference 
        android:title="@string/size" 
        android:entryValues="@array/size_values" 
        android:key="pref_size" 
        android:dialogTitle="@string/size" 
        android:entries="@array/sizes" android:defaultValue="@string/size_default"/>
    <ListPreference 
        android:title="@string/difficulty" 
        android:entryValues="@array/difficulty_values" 
        android:key="pref_diff" 
        android:dialogTitle="@string/difficulty" 
        android:entries="@array/difficulties" android:defaultValue="@string/difficulty_default"/>
    <CheckBoxPreference 
        android:defaultValue="true" 
        android:title="@string/gravity"
        android:key="pref_grav" android:summaryOn="@string/gravity_pref_on" android:summaryOff="@string/gravity_pref_off"/>
    <CheckBoxPreference 
        android:defaultValue="true" 
        android:title="@string/time_counter"
        android:key="pref_time" android:summaryOn="@string/time_pref_on" android:summaryOff="@string/time_pref_off"/>
</PreferenceScreen>