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();
/// not the current buffer
void gotoBookmark(unsigned int idx, bool openFile, bool switchToBuffer);
+ /// Start a long operation with some cancel possibility (button or ESC)
+ void startLongOperation();
+ /// This needs to be periodically called to avoid freezing the GUI
+ bool longOperationCancelled();
+ /// Stop the long operation mode (i.e., release the GUI)
+ void stopLongOperation();
+ /// A started long operation is still in progress ?
+ bool longOperationStarted();
private Q_SLOTS:
///
void execBatchCommands();
void slotProcessFuncRequestQueue() { processFuncRequestQueue(); }
private:
+ ///
+ void validateCurrentView();
+ ///
+ void updateCurrentView(FuncRequest const & cmd, DispatchResult & dr);
///
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);