Merge pull request #10562 from JosJuice/android-double-tap-get Android: Fix displaying the current value of double tap setting