diff options
| author | Johan Klokkhammer Helsing <johan.helsing@qt.io> | 2018-06-17 00:42:37 +0200 |
|---|---|---|
| committer | Johan Helsing <johan.helsing@qt.io> | 2018-06-19 04:58:20 +0000 |
| commit | 9b3260164da42b5edabc6cf6d73b7a35ab38e93d (patch) | |
| tree | 27ba046033f2112dd0e18120a7a5a705751f536b /src/plugins/decorations | |
| parent | c704fff20bde135ef6fcab90b1509607b38a545d (diff) | |
Client: Use a pixel font size for window decorations
The window title bar's height is given in device pixels, so the font
size should be as well.
Task-number: QTBUG-68834
Change-Id: I5a82deb39439088dd55152fb8bae5c2d19d8b33e
Reviewed-by: Paul Olav Tvete <paul.tvete@qt.io>
Reviewed-by: Pier Luigi Fiorini <pierluigi.fiorini@liri.io>
Diffstat (limited to 'src/plugins/decorations')
| -rw-r--r-- | src/plugins/decorations/bradient/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/plugins/decorations/bradient/main.cpp b/src/plugins/decorations/bradient/main.cpp index 4d3099d77..02332a646 100644 --- a/src/plugins/decorations/bradient/main.cpp +++ b/src/plugins/decorations/bradient/main.cpp @@ -255,6 +255,7 @@ void QWaylandBradientDecoration::paint(QPaintDevice *device) int dy = (top.height()- size.height()) /2; QFont font = p.font(); font.setBold(true); + font.setPixelSize(12); p.setFont(font); QPoint windowTitlePoint(top.topLeft().x() + dx, top.topLeft().y() + dy); |