JosJuice 13cc327909 Android: Don't save settings immediately after switching platform tab ... We want to save the currently selected platform tab, but doing so immediately after switching tabs leads to unnecessarily much file I/O (on the main thread, no less). This change makes us defer the saving until later.		2021-03-05 21:57:34 +01:00
..
app	Android: Don't save settings immediately after switching platform tab	2021-03-05 21:57:34 +01:00
gradle/wrapper	Android: Update Gradle Plugin to 4.1.1	2021-01-15 19:53:08 -05:00
jni	Merge pull request #9555 from JosJuice/android-jni-cleanup	2021-03-05 00:47:36 +01:00
.gitignore	Android:Changes to simplify command-line building of the app, and bugfixes to the Gradle script	2015-07-13 09:37:44 -04:00
build.gradle	Android: Update Gradle Plugin to 4.1.1	2021-01-15 19:53:08 -05:00
code-style-java.xml	Android: Update code-style-java for androidx files	2020-09-08 05:59:08 -04:00
gradle.properties	gradle.properties: Remove duplicate property keys	2021-01-16 01:12:31 +01:00
gradlew	Convert the Android source code to the directory structure of a Gradle-based Android Studio project.	2015-05-02 21:49:17 -04:00
gradlew.bat	Convert the Android source code to the directory structure of a Gradle-based Android Studio project.	2015-05-02 21:49:17 -04:00
settings.gradle	Convert the Android source code to the directory structure of a Gradle-based Android Studio project.	2015-05-02 21:49:17 -04:00