void updateView();
void enableView(bool enable);
bool wantInitialFocus() const { return false; }
+ void closeEvent(QCloseEvent * event);
+ bool isClosing() const { return is_closing_; }
public:
/// clean-up on hide.
void dispatchParams();
///
bool isBufferDependent() const { return true; }
+ ///
+ void doDispatch(Cursor & cur, FuncRequest const & fr);
+ ///
+ bool getStatus(Cursor & cur, FuncRequest const & fr, FuncStatus & fs) const;
private:
///
TocWidget * widget_;
+ ///
+ bool is_closing_;
};
} // namespace frontend