E5Gui/E5MapWidget.py

changeset 6279
7c44be92f8a4
parent 6278
13fd8759f981
child 6308
f49ce4c244b1
equal deleted inserted replaced
6278:13fd8759f981 6279:7c44be92f8a4
118 Public method to test, if the map is shown on the right side of the 118 Public method to test, if the map is shown on the right side of the
119 master widget. 119 master widget.
120 120
121 @return flag indicating that the map is to the right of the master 121 @return flag indicating that the map is to the right of the master
122 widget 122 widget
123 @type bool 123 @rtype bool
124 """ 124 """
125 return self.__rightSide 125 return self.__rightSide
126 126
127 def setLineDimensions(self, border, height): 127 def setLineDimensions(self, border, height):
128 """ 128 """

eric ide

mercurial