From 3a327e08e96d9588d145c32afe4f04f37a8f0f0f Mon Sep 17 00:00:00 2001
From: Héctor Ramón Jiménez <hector0193@gmail.com>
Date: Mon, 30 Dec 2019 21:32:21 +0100
Subject: Rename `Empty` widget to `Space`

---
 web/src/widget.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'web/src/widget.rs')

diff --git a/web/src/widget.rs b/web/src/widget.rs
index 5cf0238a..0ac536bd 100644
--- a/web/src/widget.rs
+++ b/web/src/widget.rs
@@ -25,10 +25,10 @@ pub mod text_input;
 mod checkbox;
 mod column;
 mod container;
-mod empty;
 mod image;
 mod radio;
 mod row;
+mod space;
 mod text;
 
 #[doc(no_inline)]
@@ -45,10 +45,10 @@ pub use text_input::TextInput;
 pub use checkbox::Checkbox;
 pub use column::Column;
 pub use container::Container;
-pub use empty::Empty;
 pub use image::Image;
 pub use radio::Radio;
 pub use row::Row;
+pub use space::Space;
 
 /// A component that displays information and allows interaction.
 ///
-- 
cgit