1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 21:30:03 -04:00

Rename Floating to Area

This commit is contained in:
Emil Ernerfeldt
2020-05-10 13:14:52 +02:00
parent 90020b41a8
commit fd99213222
6 changed files with 54 additions and 58 deletions

View File

@@ -1,12 +1,12 @@
pub mod area;
pub mod collapsing_header;
pub mod floating;
pub mod frame;
pub mod resize;
pub mod scroll_area;
pub mod window;
pub use {
collapsing_header::CollapsingHeader, floating::Floating, frame::Frame, resize::Resize,
area::Area, collapsing_header::CollapsingHeader, frame::Frame, resize::Resize,
scroll_area::ScrollArea, window::Window,
};