double_size propriété

Obtient et définit la double taille de la police.

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