Make gpui::platform module private

2021-04-10 00:22:45 -06:00
parent 619e2b7e01
commit b9b511148b
3 changed files with 3 additions and 5 deletions
@@ -21,8 +21,8 @@ pub use executor::Task;
 pub mod color;
 pub mod json;
 pub mod keymap;
-pub mod platform;
-pub use platform::Event;
+mod platform;
+pub use platform::{Event, PathPromptOptions};
 pub use presenter::{
    AfterLayoutContext, Axis, DebugContext, EventContext, LayoutContext, PaintContext,
    SizeConstraint, Vector2FExt,