android: Fix profile selection/edit when the device is rotated
authorTobias Brunner <tobias@strongswan.org>
Fri, 6 Jul 2018 13:54:45 +0000 (15:54 +0200)
committerTobias Brunner <tobias@strongswan.org>
Wed, 17 Oct 2018 09:56:30 +0000 (11:56 +0200)
commit4bd4750131c2f457201d1ced3087b99e04bd0f6a
tree382a3779d56c8ec197119ffba7bee6ef045b567e
parenta160f100fb5d2adbcfc6c8b33f2250fadb62d9da
android: Fix profile selection/edit when the device is rotated

The previous code lost track of the selected profile IDs, but the
widgets maintained their state (i.e. the list item was still selected and the
edit button still enabled).  Clicking the edit button then caused a crash when
trying to get the first item in the set.
src/frontends/android/app/src/main/java/org/strongswan/android/ui/VpnProfileListFragment.java