Python QFontMetricsF.averageCharWidth Exemples

Exemple #1

Fichier : editor.py Projet : akatrevorjay/ninja-ide

 def _update_margin_line(self, font):
     # Fix for older version of Qt which doens't has ForceIntegerMetrics
     if "ForceIntegerMetrics" in dir(QFont):
         self.document().defaultFont().setStyleStrategy(
             QFont.ForceIntegerMetrics)
     font_metrics = QFontMetricsF(self.document().defaultFont())
     if (font_metrics.width("#") * settings.MARGIN_LINE) == \
        (font_metrics.width(" ") * settings.MARGIN_LINE):
         self.pos_margin = font_metrics.width('#') * settings.MARGIN_LINE
     else:
         char_width = font_metrics.averageCharWidth()
         self.pos_margin = char_width * settings.MARGIN_LINE

Exemple #2

Fichier : editor.py Projet : ktosiu/ninja-ide

 def _update_margin_line(self, font):
     # Fix for older version of Qt which doens't has ForceIntegerMetrics
     if "ForceIntegerMetrics" in dir(QFont):
         self.document().defaultFont().setStyleStrategy(
             QFont.ForceIntegerMetrics)
     font_metrics = QFontMetricsF(self.document().defaultFont())
     if (font_metrics.width("#") * settings.MARGIN_LINE) == \
        (font_metrics.width(" ") * settings.MARGIN_LINE):
         self.pos_margin = font_metrics.width('#') * settings.MARGIN_LINE
     else:
         char_width = font_metrics.averageCharWidth()
         self.pos_margin = char_width * settings.MARGIN_LINE

Exemple #3

Fichier : editor.py Projet : uKev/ninja-ide

 def set_font(self, family=settings.FONT_FAMILY, size=settings.FONT_SIZE):
     font = QFont(family, size)
     self.document().setDefaultFont(font)
     # Fix for older version of Qt which doens't has ForceIntegerMetrics
     if "ForceIntegerMetrics" in dir(QFont):
         self.document().defaultFont().setStyleStrategy(
             QFont.ForceIntegerMetrics)
     font_metrics = QFontMetricsF(self.document().defaultFont())
     if (font_metrics.width("#") * settings.MARGIN_LINE) == \
        (font_metrics.width(" ") * settings.MARGIN_LINE):
         self.pos_margin = font_metrics.width('#') * settings.MARGIN_LINE
     else:
         char_width = font_metrics.averageCharWidth()
         self.pos_margin = char_width * settings.MARGIN_LINE

Exemple #4

Fichier : editor.py Projet : alekibango/ninja-ide

 def set_font(self, family=settings.FONT_FAMILY, size=settings.FONT_SIZE):
     font = QFont(family, size)
     self.document().setDefaultFont(font)
     # Fix for older version of Qt which doens't has ForceIntegerMetrics
     if "ForceIntegerMetrics" in dir(QFont):
         self.document().defaultFont().setStyleStrategy(
             QFont.ForceIntegerMetrics)
     font_metrics = QFontMetricsF(self.document().defaultFont())
     if (font_metrics.width("#") * settings.MARGIN_LINE) == \
        (font_metrics.width(" ") * settings.MARGIN_LINE):
         self.pos_margin = font_metrics.width('#') * settings.MARGIN_LINE
     else:
         char_width = font_metrics.averageCharWidth()
         self.pos_margin = char_width * settings.MARGIN_LINE