///
string const getScreenLabel(Buffer const *) const;
///
- void edit(BufferView * bv, int, int, unsigned int);
+ void edit(BufferView * bv, int, int, mouse_button::state);
///
void edit(BufferView * bv, bool front = true);
///
int docbook(Buffer const *, std::ostream &) const { return 0; }
///
int ascii(Buffer const *, std::ostream &, int linelen) const;
+ ///
+ void validate(LaTeXFeatures & features) const;
};
#endif