eric6/E5Gui/E5ZoomWidget.py

branch
maintenance
changeset 8043
0acf98cd089a
parent 7924
8a96736d465e
parent 7923
91e843545d9a
child 8273
698ae46f40a4
equal deleted inserted replaced
7991:866adc8c315b 8043:0acf98cd089a
202 default value is the value of the default zoom level. If 202 default value is the value of the default zoom level. If
203 percent is given, the zoom level is shown as a percent value. 203 percent is given, the zoom level is shown as a percent value.
204 204
205 @param mapping list of mapping values (list of integer) 205 @param mapping list of mapping values (list of integer)
206 @param default index of the default value (integer) 206 @param default index of the default value (integer)
207 @keyparam percent flag indicating to show zoom value in percent 207 @param percent flag indicating to show zoom value in percent
208 (boolean) 208 (boolean)
209 """ 209 """
210 if mapping: 210 if mapping:
211 self.__mapping = mapping[:] 211 self.__mapping = mapping[:]
212 self.__mapped = True 212 self.__mapped = True

eric ide

mercurial