ScaleFactor is now a user-machine-dependent setting

No longer a global setting. This is to prepare the UI for client/server-architecture where each client may require a different scaling factor.