diff options
Diffstat (limited to 'src/gui/mod.rs')
| -rw-r--r-- | src/gui/mod.rs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/gui/mod.rs b/src/gui/mod.rs deleted file mode 100644 index 62173ec..0000000 --- a/src/gui/mod.rs +++ /dev/null @@ -1,18 +0,0 @@ -//! General graphical user interfaces -//! -//! This mod does not contain all graphical content on screen, but all user interfaces that is drawn -//! that is not contained in a different category. This means all interface elements where it does not -//! make sense to bind it to any other part of the program, for instance a tool or type of element. -//! It also does *not* contain anything that does anything that is not triggered by the user, which -//! means everything is called top-down from this module. A function in this module should not be -//! called from any point in the program except the main loop, where the user input is polled. - -pub mod decimal_num_box; -pub mod dimension_indicator; -pub mod position_indicator; -pub mod tool_sidebar; - -pub use self::decimal_num_box::*; -pub use self::dimension_indicator::*; -pub use self::position_indicator::*; -pub use self::tool_sidebar::*; |