Merge pull request #9828 from JosJuice/android-pressed-opacity Android: Apply opacity setting to pressed buttons too
