2000-07-04 19:16:35 +00:00
|
|
|
|
// -*- C++ -*-
|
2002-09-25 14:26:13 +00:00
|
|
|
|
/**
|
2007-04-29 13:39:47 +00:00
|
|
|
|
* \file Inset.heorem.h
|
2002-09-25 14:26:13 +00:00
|
|
|
|
* 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
|
|
|
|
*
|
2003-08-23 00:17:00 +00:00
|
|
|
|
* Full author contact details are available in file CREDITS.
|
2000-07-04 19:16:35 +00:00
|
|
|
|
*/
|
|
|
|
|
|
2007-10-01 22:14:03 +00:00
|
|
|
|
#if 0
|
2000-07-04 19:16:35 +00:00
|
|
|
|
|
2007-10-01 22:14:03 +00:00
|
|
|
|
#ifndef INSETTHEOREM_H
|
|
|
|
|
#define INSETTHEOREM_H
|
2000-07-04 19:16:35 +00:00
|
|
|
|
|
2007-04-25 01:24:38 +00:00
|
|
|
|
#include "InsetCollapsable.h"
|
2000-07-04 19:16:35 +00:00
|
|
|
|
|
2006-10-21 00:16:43 +00:00
|
|
|
|
|
|
|
|
|
namespace lyx {
|
|
|
|
|
|
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
|
|
|
|
*/
|
2007-04-29 13:39:47 +00:00
|
|
|
|
class Inset.heorem : public InsetCollapsable {
|
2000-07-04 19:16:35 +00:00
|
|
|
|
public:
|
|
|
|
|
///
|
2007-04-29 13:39:47 +00:00
|
|
|
|
Inset.heorem();
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2003-08-28 07:41:31 +00:00
|
|
|
|
void write(Buffer const & buf, std::ostream & os) const;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2007-10-13 09:04:52 +00:00
|
|
|
|
InsetCode lyxCode() const { return THEOREM_CODE; }
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2007-09-21 20:39:47 +00:00
|
|
|
|
void metrics(MetricsInfo &, Dimension &) const;
|
2003-08-26 10:33:59 +00:00
|
|
|
|
///
|
|
|
|
|
void draw(PainterInfo & pi, int x, int y) const;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2006-10-21 00:16:43 +00:00
|
|
|
|
int latex(Buffer const &, odocstream &,
|
2003-11-05 12:06:20 +00:00
|
|
|
|
OutputParams const &) const;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
///
|
2006-10-21 00:16:43 +00:00
|
|
|
|
virtual docstring const editMessage() const;
|
2003-08-26 10:33:59 +00:00
|
|
|
|
private:
|
2007-08-30 18:03:17 +00:00
|
|
|
|
virtual Inset * clone() const;
|
2004-11-23 23:04:52 +00:00
|
|
|
|
|
2003-08-26 10:33:59 +00:00
|
|
|
|
///
|
|
|
|
|
mutable unsigned int center_indent_;
|
2000-07-04 19:16:35 +00:00
|
|
|
|
};
|
|
|
|
|
|
2006-10-21 00:16:43 +00:00
|
|
|
|
|
|
|
|
|
} // namespace lyx
|
|
|
|
|
|
2000-07-04 19:16:35 +00:00
|
|
|
|
#endif
|
2007-10-01 22:14:03 +00:00
|
|
|
|
|
|
|
|
|
#endif
|