From d865852d2455fda6d1229a4a907f86d9cdc3db29 Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Date: Tue, 24 Aug 2021 15:59:31 +0200
Subject: [PATCH] Add a minimum width to TextEdit to prevent them from being
 tiny

---
 egui/src/widgets/text_edit.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/egui/src/widgets/text_edit.rs b/egui/src/widgets/text_edit.rs
index b3a37a16..b2c42250 100644
--- a/egui/src/widgets/text_edit.rs
+++ b/egui/src/widgets/text_edit.rs
@@ -458,7 +458,8 @@ impl<'t, S: TextBuffer> TextEdit<'t, S> {
             .or(ui.style().override_text_style)
             .unwrap_or_else(|| ui.style().body_text_style);
         let line_spacing = ui.fonts().row_height(text_style);
-        let available_width = ui.available_width();
+        const MIN_WIDTH: f32 = 24.0; // Never make a `TextEdit` more narrow than this.
+        let available_width = ui.available_width().at_least(MIN_WIDTH);
         let desired_width = desired_width.unwrap_or_else(|| ui.spacing().text_edit_width);
 
         let make_galley = |ui: &Ui, text: &str| {