controls/DebugVariablePanel/DebugVariableGraphicViewer.py
changeset 1777 c46ec818bdd7
parent 1768 691083b5682a
child 1780 c52d1460cea8
equal deleted inserted replaced
1776:81aa8aaccdd4 1777:c46ec818bdd7
  1087         # ratio calculated hereafter to get border and text position in
  1087         # ratio calculated hereafter to get border and text position in
  1088         # matplotlib coordinate
  1088         # matplotlib coordinate
  1089         canvas_ratio = 1. / height  # Divide by canvas height in pixel
  1089         canvas_ratio = 1. / height  # Divide by canvas height in pixel
  1090         graph_ratio = 1. / (
  1090         graph_ratio = 1. / (
  1091             (1.0 - (CANVAS_BORDER[0] + CANVAS_BORDER[1]) * canvas_ratio)
  1091             (1.0 - (CANVAS_BORDER[0] + CANVAS_BORDER[1]) * canvas_ratio)
  1092              * height)             # Divide by figure height in pixel
  1092             * height)             # Divide by figure height in pixel
  1093 
  1093 
  1094         # Update position of figure (keeping up and bottom border the same
  1094         # Update position of figure (keeping up and bottom border the same
  1095         # size)
  1095         # size)
  1096         self.Figure.subplotpars.update(
  1096         self.Figure.subplotpars.update(
  1097             top=1.0 - CANVAS_BORDER[1] * canvas_ratio,
  1097             top=1.0 - CANVAS_BORDER[1] * canvas_ratio,