Attempt to fix horizontal directional navigation when handle_size is 0. Closes LP #325028

This commit is contained in:
Chris Jones 2009-05-26 22:45:13 +02:00
parent 8fc337de9f
commit 98a5fee1f6
1 changed files with 2 additions and 2 deletions

View File

@ -1092,7 +1092,7 @@ class Terminator:
verticalBar = self.term_list[0].get_parent().style_get_property('handle-size') verticalBar = self.term_list[0].get_parent().style_get_property('handle-size')
# Horizontal distance between two terminals # Horizontal distance between two terminals
distance = current_geo['offset_x'] - (possible_geo['offset_x'] + possible_geo['span_x']) distance = current_geo['offset_x'] - (possible_geo['offset_x'] + possible_geo['span_x'])
if new_edge < edge: if new_edge <= edge:
#print "new_edge(%d) < edge(%d)" % (new_edge, edge) #print "new_edge(%d) < edge(%d)" % (new_edge, edge)
if best_geo is None: if best_geo is None:
#print "first thing left" #print "first thing left"
@ -1134,7 +1134,7 @@ class Terminator:
verticalBar = self.term_list[0].get_parent().style_get_property('handle-size') verticalBar = self.term_list[0].get_parent().style_get_property('handle-size')
# Horizontal distance between two terminals # Horizontal distance between two terminals
distance = possible_geo['offset_x'] - (current_geo['offset_x'] + current_geo['span_x']) distance = possible_geo['offset_x'] - (current_geo['offset_x'] + current_geo['span_x'])
if new_edge > edge: if new_edge >= edge:
#print "new_edge > edge" #print "new_edge > edge"
if best_geo is None: if best_geo is None:
#print "first thing right" #print "first thing right"