diff options
author | Andreas Kling <kling@serenityos.org> | 2020-07-25 13:45:52 +0200 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2020-07-25 13:45:52 +0200 |
commit | 0d3d22f4643d6a0094945f5ab067bbd42ba2a21c (patch) | |
tree | a3e07a85f3222400636809d1303e15103c185c6a /Services/WindowServer | |
parent | 0aef87b82c64681247baaa769e427e42582c5e49 (diff) | |
download | serenity-0d3d22f4643d6a0094945f5ab067bbd42ba2a21c.zip |
WindowServer: Use WindowManager::window_title_font() in one place
If we use this everywhere, it may one day become possible to change the
window title font.
Diffstat (limited to 'Services/WindowServer')
-rw-r--r-- | Services/WindowServer/WindowFrame.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Services/WindowServer/WindowFrame.cpp b/Services/WindowServer/WindowFrame.cpp index dc5e1da8ca..88d34e2b1d 100644 --- a/Services/WindowServer/WindowFrame.cpp +++ b/Services/WindowServer/WindowFrame.cpp @@ -238,7 +238,7 @@ void WindowFrame::paint_normal_frame(Gfx::Painter& painter) auto titlebar_icon_rect = title_bar_icon_rect(); auto titlebar_inner_rect = title_bar_text_rect(); auto titlebar_title_rect = titlebar_inner_rect; - titlebar_title_rect.set_width(Gfx::Font::default_bold_font().width(title_text)); + titlebar_title_rect.set_width(WindowManager::the().window_title_font().width(title_text)); auto [title_color, border_color, border_color2] = compute_frame_colors(); |