- GuiClipboard clipboard_;
- ///
- GuiSelection selection_;
- ///
- FontLoader font_loader_;
- ///
- ColorCache color_cache_;
- ///
- QSortFilterProxyModel * language_model_;
- ///
- QTranslator qt_trans_;
- ///
- std::map<int, SocketNotifier *> socket_notifiers_;
- ///
- Menus menus_;
- /// this timer is used for any regular events one wants to
- /// perform. at present it is used to check if forked processes
- /// are done.
- QTimer general_timer_;
-
- /// Multiple views container.
- /**
- * Warning: This must not be a smart pointer as the destruction of the
- * object is handled by Qt when the view is closed
- * \sa Qt::WA_DeleteOnClose attribute.
- */
- std::map<int, GuiView *> views_;
- ///
- std::vector<int> view_ids_;