Closed GoogleCodeExporter closed 9 years ago
It is sufficient to extract the new value from the preferences page whenever it
is shown on the screen, because after an editing session, the page will reload
to show the changes to the user.
Original comment by steven3...@gmail.com
on 21 Aug 2014 at 8:07
Original issue reported on code.google.com by
steven3...@gmail.com
on 16 Aug 2014 at 8:45