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.
private:
///
TocWidget * widget_;
+ ///
+ bool is_closing_;
};
} // namespace frontend