public Q_SLOTS:
/// select an entry
void select();
+ /// open the LaTeX log
+ void viewLog();
+ /// show the output file despite compilation errors
+ void showAnyway();
private:
///
void showEvent(QShowEvent *);
- /// update contents
- void updateContents();
+ ///
+ void paramsToDialog();
///
bool isBufferDependent() const { return true; }
///
private:
///
std::string error_type_;
+ ///
+ mutable ErrorList error_list_;
+ ///
+ Buffer const * buf_;
/// the parent document name
docstring name_;
+ ///
+ bool from_master_;
};
} // namespace frontend