class ColorCache;
class KeySymbol;
+namespace support {
+class FileName;
+}
+
namespace frontend {
class GuiView;
void registerSocketCallback(int fd, SocketCallback func);
void unregisterSocketCallback(int fd);
bool searchMenu(FuncRequest const & func, docstring_list & names) const;
- docstring iconName(FuncRequest const & f, bool unknown);
void handleKeyFunc(FuncCode action);
//@}
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);