+
+ /*
+ * restore search position if switching to a
+ * panel where we have previously searched
+ */
+ seqIndex = 0;
+ resIndex = -1;
+ if (seqIndices.containsKey(av))
+ {
+ seqIndex = seqIndices.get(av).intValue();
+ }
+ if (resIndices.containsKey(av))
+ {
+ resIndex = resIndices.get(av).intValue();
+ }