more precise SyntaxError indicator

src/gui/DamarisGUI.py

@@ -418,9 +418,8 @@ class DamarisGUI:
                     lo = 0
                 print("Experiment Script: %s at line %d, col %d:" % (e.__class__.__name__, ln, lo))
                 if e.text != "":
-                    print("\"%s\"" % e.text)
-                    # print " "*(e.offset+1)+"^" # nice idea, but needs monospaced fonts
-                    pass
+                    print(e.text.rstrip())
+                    print(" "*(e.offset-1)+"^")
                 print(e)
 
         res_code = None
@@ -1080,6 +1079,8 @@ class LogWindow:
         self.damaris_gui = damaris_gui
         self.textview = self.xml_gui.get_object( "messages_textview" )
         self.textview.connect( "key-press-event", self.textview_keypress)
+        font_desc = pango.FontDescription("Monospace 10")
+        self.textview.modify_font(font_desc)
         self.textbuffer = self.textview.get_buffer( )
         self.logstream = log
         self.logstream.gui_log = self
@@ -1951,9 +1952,12 @@ class ConfigTab:
         self.config_del_jobs_after_execution_checkbutton = self.xml_gui.get_object(
             "del_jobs_after_execution_checkbutton" )
         self.config_data_pool_name_entry = self.xml_gui.get_object( "data_pool_name_entry" )
+        self.config_data_pool_name_entry.set_tooltip_text("Use %(date)s for ISO date or %(datetime)s for ISO date+time")
         self.config_data_pool_write_interval_entry = self.xml_gui.get_object( "data_pool_write_interval_entry" )
         self.config_data_pool_complib = self.xml_gui.get_object( "CompLibs" )
+        self.config_data_pool_complib.set_tooltip_text("Use zlib for best compatibility with other tools")
         self.config_data_pool_comprate = self.xml_gui.get_object( "CompRatio" )
+        self.config_data_pool_comprate.set_tooltip_text("Use 1 for best compression, 9 for best speed; 3 is very usable")
         self.config_info_textview = self.xml_gui.get_object( "info_textview" )
         self.config_script_font_button = self.xml_gui.get_object( "script_fontbutton" )