Merge pull request #371 from PhilipDaniels/delete_container_rs

Delete unused container.rs
This commit is contained in:
Dongdong Zhou 2022-04-04 21:04:00 +00:00 committed by GitHub
commit d947fa1ca3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 9 deletions

View File

@ -1,8 +0,0 @@
use druid::{Point, Size};
pub struct ChildState {
pub origin: Option<Point>,
pub size: Option<Size>,
pub hidden: bool,
}

View File

@ -2,7 +2,6 @@
pub mod app;
pub mod code_action;
pub mod completion;
pub mod container;
pub mod editor;
pub mod explorer;
pub mod find;