fontsize options

closes #181 (closed)

• Implement option Base Font Size in Menu Options that allows user to select a base font size for texts in plotting.
• For font size from 9 to 12, plot's label will be split into 2 lines if the plot has no additional info.
• Plot height and figure height will be spread out according to selected font size.

sohstationviewer/conf/config_processor.py

@@ -186,9 +186,10 @@ class ConfigProcessor:
 
         base_plot_font_size = self.config.get(
             'MiscOptions', 'base_plot_font_size')
-        expected_base_plot_font_sizes = set(map(str, range(
-            constants.MIN_FONTSIZE, constants.MAX_FONTSIZE + 1
-        )))
+        expected_base_plot_font_sizes = [
+            str(i)
+            for i in range(constants.MIN_FONTSIZE, constants.MAX_FONTSIZE + 1)
+        ]
 
         if base_plot_font_size not in expected_base_plot_font_sizes:
             raise BadConfigError(