mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2025-03-28 20:05:38 +00:00
Code Issues 1 Projects Releases Wiki Activity

Resize time and log level columns after zoom change

Browse source
This commit is contained in:
René Stadler 2011-11-06 00:16:29 +01:00 committed by Stefan Sauer
parent d7c5942403
commit 200c732056
1 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
debug-viewer/GstDebugViewer/GUI/columns.py
View file

@ -598,6 +598,22 @@ class ViewColumnManager (ColumnManager):
return ColumnManager.detach (self)
def set_zoom (self, scale):
ColumnManager.set_zoom (self, scale)
if self.view is None:
return
model = self.view.get_model ()
# Timestamp and log level columns are pretty much fixed size, so resize
# them back to default on zoom change:
for column in self.columns:
if column.name in (TimeColumn.name,
LevelColumn.name):
self.size_column (column, self.view, model)
def size_column (self, column, view, model):
if column.default_size is None: