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_;
///