Various GUI fixes
This MR fixes a couple of bugs in the GUI application:
-
There was a race condition that would cause the app to lockup when changing devices in case multiple devices were connected.
-
OCR options were not transferred from page that was recently scanned to new pages. This is still mostly the case, but at least any initial options would be transferred once set.