Fixes search endless loop when scrollback is negative.
This commit is contained in:
parent
b08648b843
commit
4085aecb1d
|
@ -127,7 +127,7 @@ class Searchbar(gtk.HBox):
|
||||||
"""Search forwards and jump to the next result, if any"""
|
"""Search forwards and jump to the next result, if any"""
|
||||||
startrow,endrow = self.get_vte_buffer_range()
|
startrow,endrow = self.get_vte_buffer_range()
|
||||||
while True:
|
while True:
|
||||||
if self.searchrow == endrow:
|
if self.searchrow >= endrow:
|
||||||
self.searchrow = startrow
|
self.searchrow = startrow
|
||||||
self.reslabel.set_text(_('No more results'))
|
self.reslabel.set_text(_('No more results'))
|
||||||
return
|
return
|
||||||
|
@ -148,7 +148,7 @@ class Searchbar(gtk.HBox):
|
||||||
"""Jump back to the previous search"""
|
"""Jump back to the previous search"""
|
||||||
startrow,endrow = self.get_vte_buffer_range()
|
startrow,endrow = self.get_vte_buffer_range()
|
||||||
while True:
|
while True:
|
||||||
if self.searchrow == startrow:
|
if self.searchrow <= startrow:
|
||||||
self.searchrow = endrow
|
self.searchrow = endrow
|
||||||
self.reslabel.set_text(_('No more results'))
|
self.reslabel.set_text(_('No more results'))
|
||||||
return
|
return
|
||||||
|
@ -177,7 +177,10 @@ class Searchbar(gtk.HBox):
|
||||||
def get_vte_buffer_range(self):
|
def get_vte_buffer_range(self):
|
||||||
"""Get the range of a vte widget"""
|
"""Get the range of a vte widget"""
|
||||||
column, endrow = self.vte.get_cursor_position()
|
column, endrow = self.vte.get_cursor_position()
|
||||||
startrow = max(0, endrow - self.config['scrollback_lines'])
|
if self.config['scrollback_lines'] < 0:
|
||||||
|
startrow = 0
|
||||||
|
else:
|
||||||
|
startrow = max(0, endrow - self.config['scrollback_lines'])
|
||||||
return(startrow, endrow)
|
return(startrow, endrow)
|
||||||
|
|
||||||
def end_search(self, widget=None):
|
def end_search(self, widget=None):
|
||||||
|
|
Loading…
Reference in New Issue