2000-07-04 19:16:35 +00:00
|
|
|
|
// -*- C++ -*-
|
2002-09-25 14:26:13 +00:00
|
|
|
|
/**
|
|
|
|
|
* \file insettheorem.h
|
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
|
* Licence details can be found in the file COPYING.
|
2002-03-21 17:09:55 +00:00
|
|
|
|
*
|
2002-09-25 14:26:13 +00:00
|
|
|
|
* \author Lars Gullik Bj<EFBFBD>nnes
|
2000-07-04 19:16:35 +00:00
|
|
|
|
*
|
2002-09-25 14:26:13 +00:00
|
|
|
|
* Full author contact details are available in file CREDITS
|
2000-07-04 19:16:35 +00:00
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifndef InsetTheorem_H
|
|
|
|
|
#define InsetTheorem_H
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#include "insetcollapsable.h"
|
|
|
|
|
|
2000-07-15 23:51:46 +00:00
|
|
|
|
/** The theorem inset
|
2002-03-21 17:09:55 +00:00
|
|
|
|
|
2000-07-04 19:16:35 +00:00
|
|
|
|
*/
|
|
|
|
|
class InsetTheorem : public InsetCollapsable {
|
|
|
|
|
public:
|
|
|
|
|
///
|
|
|
|
|
InsetTheorem();
|
|
|
|
|
///
|
2001-06-28 10:25:20 +00:00
|
|
|
|
void write(Buffer const * buf, std::ostream & os) const;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2001-07-06 15:57:54 +00:00
|
|
|
|
virtual Inset * clone(Buffer const &, bool same_id = false) const;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2001-06-28 10:25:20 +00:00
|
|
|
|
Inset::Code lyxCode() const { return Inset::THEOREM_CODE; }
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
|
|
|
|
bool display() const { return true; }
|
|
|
|
|
///
|
2003-05-22 18:59:10 +00:00
|
|
|
|
int latex(Buffer const *, std::ostream &, LatexRunParams const &,
|
2003-05-22 22:44:30 +00:00
|
|
|
|
bool fp) const;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2001-06-28 10:25:20 +00:00
|
|
|
|
string const editMessage() const;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif
|