double_size propiedad

Obtiene y establece el tamaño doble de la fuente.

@property
def double_size(self):
    ...
@double_size.setter
def double_size(self, value):
    ...