controls/DebugVariablePanel/DebugVariableViewer.py
changeset 2437 105c20fdeb19
parent 1881 091005ec69c4
child 2456 7373e3048167
equal deleted inserted replaced
2436:82bfc75bcd9d 2437:105c20fdeb19
    22 # along with this program; if not, write to the Free Software
    22 # along with this program; if not, write to the Free Software
    23 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
    23 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
    24 
    24 
    25 
    25 
    26 from __future__ import absolute_import
    26 from __future__ import absolute_import
       
    27 from __future__ import division
    27 from collections import OrderedDict
    28 from collections import OrderedDict
    28 
    29 
    29 import wx
    30 import wx
    30 from matplotlib.backends.backend_wxagg import _convert_agg_to_wx_bitmap
    31 from matplotlib.backends.backend_wxagg import _convert_agg_to_wx_bitmap
    31 
    32 
   373         """
   374         """
   374         # Get Viewer size
   375         # Get Viewer size
   375         _width, height = self.GetSize()
   376         _width, height = self.GetSize()
   376 
   377 
   377         # Mouse is in the first half of Viewer
   378         # Mouse is in the first half of Viewer
   378         if y < height / 2:
   379         if y < height // 2:
   379             # If Viewer is the upper one, draw drop before highlight
   380             # If Viewer is the upper one, draw drop before highlight
   380             if self.ParentWindow.IsViewerFirst(self):
   381             if self.ParentWindow.IsViewerFirst(self):
   381                 self.SetHighlight(HIGHLIGHT_BEFORE)
   382                 self.SetHighlight(HIGHLIGHT_BEFORE)
   382 
   383 
   383             # Else draw drop after highlight in previous Viewer
   384             # Else draw drop after highlight in previous Viewer