Resizing, saving, lens display, etc

Various UI tweaks and bug fixes, minimal python changes