Fix spin button updates in media reference editor

Fix so spin button updates visible selection when it has already
been clicked.

Bug #8429.
This commit is contained in:
prculley 2017-05-22 17:39:52 -05:00 committed by Nick Hall
parent bdbecfa46c
commit 007c1cb1d6

View File

@ -386,6 +386,7 @@ class EditMediaRef(EditReference):
real = self.selection.proportional_to_real_rect(self.rectangle)
region = Region(real[0], real[1], real[2], real[3])
self.selection.set_regions([region])
self.selection.select(region) # update the selection box shown
self.selection.refresh()
def region_modified(self, widget):