mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-04-26 06:54:49 +00:00
Do not let the user add duplicate lines to the bottom log view
This commit is contained in:
parent
9a9e40a3ce
commit
98e1541488
1 changed files with 9 additions and 1 deletions
|
@ -1198,7 +1198,15 @@ class LineView (object):
|
||||||
position = bisect_right (timestamps, row[line_model.COL_TIME])
|
position = bisect_right (timestamps, row[line_model.COL_TIME])
|
||||||
else:
|
else:
|
||||||
position = 0
|
position = 0
|
||||||
line_model.insert_line (position, super_line_index)
|
if len (line_model) > 1:
|
||||||
|
other_index = line_model.line_index_to_super (position - 1)
|
||||||
|
else:
|
||||||
|
other_index = -1
|
||||||
|
if other_index == super_line_index:
|
||||||
|
# Already have the line.
|
||||||
|
pass
|
||||||
|
else:
|
||||||
|
line_model.insert_line (position, super_line_index)
|
||||||
|
|
||||||
def handle_log_view_selection_changed (self, selection):
|
def handle_log_view_selection_changed (self, selection):
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue