columns: auto size time column when setting base time
authorRené Stadler <mail@renestadler.de>
Sun, 6 Nov 2011 12:35:26 +0000 (13:35 +0100)
committerStefan Sauer <ensonic@users.sf.net>
Thu, 11 Sep 2014 18:51:47 +0000 (20:51 +0200)
Base time formatting adds + or - in front of the timestamp, so the column has
to grow a little to not hide the last digit.

Also fixes a crash when setting the base time while the time column is hidden.

debug-viewer/GstDebugViewer/GUI/columns.py
debug-viewer/GstDebugViewer/GUI/window.py

index f0f7f3c2741464211e32b5515b0f8b8559e70bda..96ea98cdc2488b8a4d3a6ef6f5652c9d106ea3f3 100644 (file)
@@ -457,6 +457,16 @@ class ColumnManager (Common.GUI.Manager):
 
         self.zoom = scale
 
+    def set_base_time (self, base_time):
+
+        try:
+            time_column = self.find_item (name = TimeColumn.name)
+        except KeyError:
+            return
+
+        time_column.set_base_time (base_time)
+        self.size_column (time_column)
+
     def get_toggle_action (self, column_class):
 
         action_name = "show-%s-column" % (column_class.name,)
index 6372492099a51674af7a9bc754739a1d54eec3a4..2a82aa928f8b46bcd988ec134a995236d7c1b5eb 100644 (file)
@@ -674,8 +674,7 @@ class Window (object):
     def handle_set_base_time_action_activate (self, action):
 
         row = self.get_active_line ()
-        time_column = self.column_manager.find_item (name = "time")
-        time_column.set_base_time (row[LogModelBase.COL_TIME])
+        self.column_manager.set_base_time (row[LogModelBase.COL_TIME])
 
     def handle_hide_log_level_action_activate (self, action):