///
void edit(BufferView * bv, bool front = true);
///
std::vector<string> const getLabelList() const;
///
int latex(Buffer const *, std::ostream &,
///
void edit(BufferView * bv, bool front = true);
///
std::vector<string> const getLabelList() const;
///
int latex(Buffer const *, std::ostream &,