From 0eaca35e5b59f506181daa147fe84e1839b621b8 Mon Sep 17 00:00:00 2001
From: Ciaran Gultnieks <ciaran@ciarang.com>
Date: Sun, 16 Sep 2012 10:08:30 +0100
Subject: [PATCH] Gives category Spinner an ID

Without an ID, the default save/restore state mechanism doesn't work,
so (for example) if you rotate the screen on ICS, the current category
switches back to the default.
---
 res/values/ids.xml                | 4 ++++
 src/org/fdroid/fdroid/FDroid.java | 3 +++
 2 files changed, 7 insertions(+)
 create mode 100644 res/values/ids.xml

diff --git a/res/values/ids.xml b/res/values/ids.xml
new file mode 100644
index 000000000..23d937f3d
--- /dev/null
+++ b/res/values/ids.xml
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="utf-8"?>
+<resources>
+  <item type="id" name="categorySpinner" />
+</resources>
\ No newline at end of file
diff --git a/src/org/fdroid/fdroid/FDroid.java b/src/org/fdroid/fdroid/FDroid.java
index ead0e2356..2b546c5e9 100644
--- a/src/org/fdroid/fdroid/FDroid.java
+++ b/src/org/fdroid/fdroid/FDroid.java
@@ -298,6 +298,9 @@ public class FDroid extends TabActivity implements OnItemClickListener,
                 LinearLayout v = new LinearLayout(FDroid.this);
                 v.setOrientation(LinearLayout.VERTICAL);
                 Spinner cats = new Spinner(FDroid.this);
+                // Giving it an ID lets the default save/restore state
+                // functionality do its stuff.
+                cats.setId(R.id.categorySpinner);
                 cats.setAdapter(categories);
                 cats.setOnItemSelectedListener(FDroid.this);
                 v.addView(cats, new LayoutParams(