From 0d3d22f4643d6a0094945f5ab067bbd42ba2a21c Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Sat, 25 Jul 2020 13:45:52 +0200 Subject: [PATCH] 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. --- Services/WindowServer/WindowFrame.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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();