@@ -129,6 +129,8 @@ class Dash(emulators.UnityEmulatorBase):
129 original_index = self.dash_content_list.currentIndex
129 original_index = self.dash_content_list.currentIndex
130 dash_content = self.select_single(objectName="dashContent")
130 dash_content = self.select_single(objectName="dashContent")
131 x, y, width, height = dash_content.globalRect
131 x, y, width, height = dash_content.globalRect
132+ # Make the drag range be a multiple of the drag "rate" value.
133+ # Workarounds https://bugs.launchpad.net/mir/+bug/1399690
132 rate = 10
134 rate = 10
133 divisions = 5
135 divisions = 5
134 jump = ( width / divisions ) // rate * rate
136 jump = ( width / divisions ) // rate * rate
@@ -143,6 +145,8 @@ class Dash(emulators.UnityEmulatorBase):
143 original_index = self.dash_content_list.currentIndex
145 original_index = self.dash_content_list.currentIndex
144 dash_content = self.select_single(objectName="dashContent")
146 dash_content = self.select_single(objectName="dashContent")
145 x, y, width, height = dash_content.globalRect
147 x, y, width, height = dash_content.globalRect
148+ # Make the drag range be a multiple of the drag "rate" value.
149+ # Workarounds https://bugs.launchpad.net/mir/+bug/1399690
146 rate = 10
150 rate = 10
147 divisions = 5
151 divisions = 5
148 jump = ( width / divisions ) // rate * rate
152 jump = ( width / divisions ) // rate * rate