Settings window: Add widget to adjust the zoom level

Signed-off-by: Jerome Flesch <jflesch@gmail.com>