feat(main): implement def apply_global_text_size_offset
This commit is contained in:
parent
966b455c0e
commit
2f7cc65bc5
1 changed files with 17 additions and 0 deletions
|
|
@ -129,3 +129,20 @@ def apply_dark_theme_if_requested(app):
|
||||||
palette.setColor(QPalette.Highlight, QColor(42, 130, 218))
|
palette.setColor(QPalette.Highlight, QColor(42, 130, 218))
|
||||||
palette.setColor(QPalette.HighlightedText, QColor(255, 255, 255))
|
palette.setColor(QPalette.HighlightedText, QColor(255, 255, 255))
|
||||||
app.setPalette(palette)
|
app.setPalette(palette)
|
||||||
|
|
||||||
|
|
||||||
|
# apply_global_text_size_offset: function definition for ScanSlicer behavior.
|
||||||
|
def apply_global_text_size_offset(app, pixel_offset=2):
|
||||||
|
font = app.font()
|
||||||
|
info = QFontInfo(font)
|
||||||
|
pixel_size = info.pixelSize()
|
||||||
|
|
||||||
|
if pixel_size > 0:
|
||||||
|
font.setPixelSize(pixel_size + pixel_offset)
|
||||||
|
else:
|
||||||
|
point_size = info.pointSizeF()
|
||||||
|
if point_size <= 0:
|
||||||
|
point_size = 10.0
|
||||||
|
font.setPointSizeF(point_size + (pixel_offset * 0.75))
|
||||||
|
|
||||||
|
app.setFont(font)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue