From f0c374afdc936b2b4fbae85cbdbd8b207a9a7d8a Mon Sep 17 00:00:00 2001 From: Sophie Herold Date: Wed, 20 Dec 2023 20:26:32 +0100 Subject: [PATCH] windowTitle: Add custom window title widget Fixes #202 --- po/POTFILES.in | 1 + 1 file changed, 1 insertion(+) diff --git a/po/POTFILES.in b/po/POTFILES.in index b94f546..4dc44c2 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -41,5 +41,6 @@ src/widgets/print_preview.rs src/widgets/properties_view.rs src/widgets/properties_view.ui src/widgets/sliding_view.rs +src/widgets/window_title.rs src/window.rs src/window.ui