- DispatchResult const & dispatch(FuncRequest const &);
- void dispatch(FuncRequest const &, DispatchResult & dr);
- FuncStatus getStatus(FuncRequest const & cmd) const;
- void restoreGuiSession();
- Buffer const * updateInset(Inset const * inset) const;
- int exec();
- void exit(int status);
- bool event(QEvent * e);
- bool getRgbColor(ColorCode col, RGBColor & rgbcol);
- std::string const hexName(ColorCode col);
- void registerSocketCallback(int fd, SocketCallback func);
- void unregisterSocketCallback(int fd);
- bool searchMenu(FuncRequest const & func, docstring_list & names) const;
- bool hasBufferView() const;
- void handleKeyFunc(FuncCode action);
- bool unhide(Buffer * buf); //override
+ DispatchResult const & dispatch(FuncRequest const &) override;
+ void dispatch(FuncRequest const &, DispatchResult & dr) override;
+ FuncStatus getStatus(FuncRequest const & cmd) const override;
+ void restoreGuiSession() override;
+ Buffer const * updateInset(Inset const * inset) const override;
+ int exec() override;
+ void exit(int status) override;
+ bool event(QEvent * e) override;
+ bool getRgbColor(ColorCode col, RGBColor & rgbcol) override;
+ std::string const hexName(ColorCode col) override;
+ void registerSocketCallback(int fd, SocketCallback func) override;
+ void unregisterSocketCallback(int fd) override;
+ bool searchMenu(FuncRequest const & func, docstring_list & names) const override;
+ bool hasBufferView() const override;
+ void handleKeyFunc(FuncCode action) override;
+ bool unhide(Buffer * buf) override;