rust/rhg/src/ui.rs
changeset 52767 6183949219b2
parent 52756 bbf1c52252ae
--- a/rust/rhg/src/ui.rs	Fri Jan 24 13:07:15 2025 -0500
+++ b/rust/rhg/src/ui.rs	Fri Jan 24 12:01:12 2025 -0500
@@ -86,8 +86,6 @@
         stderr.flush().or_else(handle_stderr_error)
     }
 
-    // TODO: use this
-    #[allow(dead_code)]
     pub fn encoder(&self) -> &Encoder {
         &self.encoder
     }