diff -r 2a70d5240300 -r 21164625b393 controls/DebugVariablePanel/DebugVariableViewer.py --- a/controls/DebugVariablePanel/DebugVariableViewer.py Fri Nov 23 11:01:20 2018 +0100 +++ b/controls/DebugVariablePanel/DebugVariableViewer.py Fri Nov 23 12:13:24 2018 +0100 @@ -24,7 +24,9 @@ from __future__ import absolute_import +from __future__ import division from collections import OrderedDict +from functools import reduce import wx from matplotlib.backends.backend_wxagg import _convert_agg_to_wx_bitmap @@ -375,7 +377,7 @@ _width, height = self.GetSize() # Mouse is in the first half of Viewer - if y < height / 2: + if y < height // 2: # If Viewer is the upper one, draw drop before highlight if self.ParentWindow.IsViewerFirst(self): self.SetHighlight(HIGHLIGHT_BEFORE)