//! 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 tool_sidebar; pub use self::decimal_num_box::*; pub use self::dimension_indicator::*; pub use self::tool_sidebar::*;