diff --git a/src/gui/DamarisGUI.py b/src/gui/DamarisGUI.py index 4d104c1..9b0a934 100644 --- a/src/gui/DamarisGUI.py +++ b/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" )