class ColorCache;
class KeySymbol;
+namespace support {
+class FileName;
+}
+
namespace frontend {
class GuiView;
void setCurrentView(GuiView * view) { current_view_ = view; }
///
QList<int> viewIds() const;
-
+
/// Clear all session information.
void clearSession();
void slotProcessFuncRequestQueue() { processFuncRequestQueue(); }
private:
+ ///
+ void validateCurrentView();
///
bool closeAllViews();
/// read the given ui (menu/toolbar) file
bool readUIFile(QString const & name, bool include = false);
///
+ enum ReturnValues {
+ ReadOK,
+ ReadError,
+ FormatMismatch
+ };
+ ///
+ ReturnValues readUIFile(support::FileName);
+ ///
void setGuiLanguage();
///
void reconfigure(std::string const & option);