def detectRevisionMarginWidth(self):
"""Caculates the margin width depending on
the margin font and the current zoom"""
skin = GlobalData().skin
font = QFont(skin.lineNumFont)
font.setPointSize(font.pointSize() + self.getZoom())
fontMetrics = QFontMetrics(font, self)
return fontMetrics.width('W' * self.__maxLength) + 3
def getZoomedMarginFont():
"""Provides the current margin font respecting zoom"""
font = QFont(GlobalData().skin['lineNumFont'])
font.setPointSize(font.pointSize() + Settings()['zoom'])
return font
def getZoomedCFBadgeFont():
"""Provides the current control flow badge font respecting zoom"""
font = QFont(GlobalData().skin['badgeFont'])
font.setPointSize(font.pointSize() + Settings()['flowZoom'])
return font
def getZoomedCFMonoFont():
"""Provides the current mono font respecting zoom"""
font = QFont(GlobalData().skin['cfMonoFont'])
font.setPointSize(font.pointSize() + Settings()['flowZoom'])
return font
