save/load state breaks camera customizations
Saving then loading state breaks camera customizations. Replicate as follows:
- 5.4.1, Linux, local server.
- Sources, wavelet, apply, Surface.
- File/ Save State.
- Edit/ Reset Session.
- File/ Load State.
- Edit/ Settings/ Camera. Now, set all three buttons to Pan. Apply. Notice that the camera manipulators was not reset. This is a bug.