Multiple date / time format options

[finnmglas]

Allow users to select which date/time format to display (Note: \n is not only a linebreak - the lower line will be in a smaller TextView (like currently):

• default (counting right to left): YYYY-MM-DD\nhh:mm:ss
• flipped (date below time): hh:mm:ss\nYYYY-MM-DD
• german (it is weird): DD.MM.YYYY\nhh:mm:ss (I don't like it despite being german...)
• flipped german (date below time): hh:mm:ss\nDD.MM.YYYY
• feel free to suggest other options ^^

Adding an option to disable / enable seconds from being shown would be nice too (Using a toggle / switch).

The multiple date / time format options should be displayed in a dropdown.

[finnmglas]

I just implemented a spinner with all the date-formats listed below (except for flipped german). I called the flipped option inverse, as I felt that sounded better.

Inverse actually looks like this:

The selected format is stored as sharedPreferences, accessible through the launcherPreferences global object of the Launcher.

Possible compatibilty issues may arise, as they are stored as integers not as strings.
May be fixed later using some glue code ^^