2000-07-04 19:16:35 +00:00
|
|
|
// -*- C++ -*-
|
|
|
|
/* This file is part of
|
|
|
|
* ======================================================
|
|
|
|
*
|
|
|
|
* LyX, The Document Processor
|
|
|
|
*
|
|
|
|
* Copyright 1998 The LyX Team.
|
|
|
|
*
|
|
|
|
* ======================================================
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef InsetTheorem_H
|
|
|
|
#define InsetTheorem_H
|
|
|
|
|
|
|
|
#ifdef __GNUG__
|
|
|
|
#pragma interface
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#include "insetcollapsable.h"
|
|
|
|
|
2000-07-15 23:51:46 +00:00
|
|
|
/** The theorem inset
|
2000-07-04 19:16:35 +00:00
|
|
|
|
|
|
|
*/
|
|
|
|
class InsetTheorem : public InsetCollapsable {
|
|
|
|
public:
|
|
|
|
///
|
|
|
|
InsetTheorem();
|
|
|
|
///
|
|
|
|
void Write(Buffer const * buf, std::ostream & os) const;
|
|
|
|
///
|
2000-10-10 11:50:43 +00:00
|
|
|
Inset * Clone(Buffer const &) const;
|
2000-07-04 19:16:35 +00:00
|
|
|
///
|
|
|
|
Inset::Code LyxCode() const { return Inset::THEOREM_CODE; }
|
|
|
|
///
|
|
|
|
bool display() const { return true; }
|
|
|
|
///
|
|
|
|
int Latex(Buffer const *, std::ostream &, bool fragile, bool fp) const;
|
|
|
|
///
|
2000-09-14 17:53:12 +00:00
|
|
|
string const EditMessage() const;
|
2000-07-04 19:16:35 +00:00
|
|
|
///
|
|
|
|
bool InsertInsetAllowed(Inset * inset) const;
|
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|