controls/DebugVariablePanel/DebugVariableTextViewer.py
changeset 3871 5d23a47937c4
parent 3765 88fe6fc9fd38
--- a/controls/DebugVariablePanel/DebugVariableTextViewer.py	Wed Oct 18 19:36:20 2023 +0200
+++ b/controls/DebugVariablePanel/DebugVariableTextViewer.py	Thu Oct 19 22:52:27 2023 +0200
@@ -243,7 +243,7 @@
         # Test if mouse has been pressed in this bounding box. In that case
         # start a move drag'n drop of item variable
         x, y = event.GetPosition()
-        item_path_bbox = wx.Rect(20, (height - h) / 2, w, h)
+        item_path_bbox = wx.Rect(20, (height - h) // 2, w, h)
         if item_path_bbox.Contains(x, y):
             self.ShowButtons(False)
             data = wx.TextDataObject(str((item.GetVariable(), "debug", "move")))