E5Gui/E5ZoomWidget.py

changeset 2990
583beaf0b4b8
parent 2953
703452a2876f
child 3057
10516539f238
child 3160
209a07d7e401
equal deleted inserted replaced
2989:7efa8b8b6903 2990:583beaf0b4b8
200 default value is the value of the default zoom level. If 200 default value is the value of the default zoom level. If
201 percent is given, the zoom level is shown as a percent value. 201 percent is given, the zoom level is shown as a percent value.
202 202
203 @param mapping list of mapping values (list of integer) 203 @param mapping list of mapping values (list of integer)
204 @param default index of the default value (integer) 204 @param default index of the default value (integer)
205 @keyparam percent flag indicating to show zoom value in percent (boolean) 205 @keyparam percent flag indicating to show zoom value in percent
206 (boolean)
206 """ 207 """
207 if mapping: 208 if mapping:
208 self.__mapping = mapping[:] 209 self.__mapping = mapping[:]
209 self.__mapped = True 210 self.__mapped = True
210 self.slider.setMinimum(0) 211 self.slider.setMinimum(0)
225 226
226 def mapping(self): 227 def mapping(self):
227 """ 228 """
228 Public method to get the current mapping. 229 Public method to get the current mapping.
229 230
230 @return tuple of the mapping and the default index (list of integer, integer) 231 @return tuple of the mapping and the default index
232 (list of integer, integer)
231 """ 233 """
232 return self.__mapping[:], self.__default 234 return self.__mapping[:], self.__default
233 235
234 def isMapped(self): 236 def isMapped(self):
235 """ 237 """

eric ide

mercurial