From 805d1a5e6397e879560f7aee25166790271d6a2f Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Thu, 21 Jul 2022 15:50:21 +0200
Subject: [PATCH] Ignore unused code warnings in widgets module

---
 src/ui/widgets.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ui/widgets.rs b/src/ui/widgets.rs
index ceaebd4..65376d0 100644
--- a/src/ui/widgets.rs
+++ b/src/ui/widgets.rs
@@ -1,3 +1,7 @@
+// Since the widget module is effectively a library and will probably be moved
+// to toss later, warnings about unused functions are mostly inaccurate.
+#![allow(dead_code)]
+
 pub mod background;
 pub mod border;
 pub mod empty;