2006-04-15 14:13:41 +00:00
|
|
|
// -*- C++ -*-
|
|
|
|
/**
|
2007-08-31 05:53:55 +00:00
|
|
|
* \file GuiViewSource.h
|
2006-04-15 14:13:41 +00:00
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
*
|
|
|
|
* \author John Levon
|
|
|
|
* \author Bo Peng
|
2007-03-25 01:25:29 +00:00
|
|
|
* \author Abdelrazak Younes
|
2006-04-15 14:13:41 +00:00
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
2007-08-31 22:16:11 +00:00
|
|
|
#ifndef GUIVIEWSOURCE_H
|
|
|
|
#define GUIVIEWSOURCE_H
|
2006-04-15 14:13:41 +00:00
|
|
|
|
2007-08-11 15:48:15 +00:00
|
|
|
#include "ui_ViewSourceUi.h"
|
2007-02-13 18:27:46 +00:00
|
|
|
|
2007-10-09 09:43:56 +00:00
|
|
|
#include "DockView.h"
|
2007-10-06 15:03:58 +00:00
|
|
|
#include "GuiView.h"
|
|
|
|
#include "qt_helpers.h"
|
2007-10-09 09:43:56 +00:00
|
|
|
|
2007-10-06 15:03:58 +00:00
|
|
|
#include <QDockWidget>
|
2007-10-09 09:43:56 +00:00
|
|
|
#include <QString>
|
2007-03-25 01:25:29 +00:00
|
|
|
#include <QTextCharFormat>
|
2007-04-24 14:08:53 +00:00
|
|
|
|
|
|
|
class QTextDocument;
|
2006-04-15 14:13:41 +00:00
|
|
|
|
|
|
|
namespace lyx {
|
|
|
|
namespace frontend {
|
|
|
|
|
2007-10-09 09:43:56 +00:00
|
|
|
class GuiViewSource;
|
2007-10-06 19:03:41 +00:00
|
|
|
class LaTeXHighlighter;
|
2007-04-24 14:08:53 +00:00
|
|
|
|
2007-10-09 09:43:56 +00:00
|
|
|
class ViewSourceWidget : public QWidget, public Ui::ViewSourceUi
|
2007-09-05 20:33:29 +00:00
|
|
|
{
|
2007-03-25 01:25:29 +00:00
|
|
|
Q_OBJECT
|
2007-09-05 20:33:29 +00:00
|
|
|
|
2007-03-25 01:25:29 +00:00
|
|
|
public:
|
2007-10-09 09:43:56 +00:00
|
|
|
ViewSourceWidget(GuiViewSource &);
|
2007-04-24 14:08:53 +00:00
|
|
|
|
|
|
|
public Q_SLOTS:
|
|
|
|
// update content
|
2007-09-03 20:28:26 +00:00
|
|
|
void updateView();
|
2007-03-25 01:25:29 +00:00
|
|
|
|
|
|
|
private:
|
2007-09-05 20:33:29 +00:00
|
|
|
///
|
2007-10-09 09:43:56 +00:00
|
|
|
GuiViewSource & controller_;
|
2007-03-25 01:25:29 +00:00
|
|
|
///
|
|
|
|
QTextDocument * document_;
|
2007-04-24 14:08:53 +00:00
|
|
|
/// LaTeX syntax highlighter
|
|
|
|
LaTeXHighlighter * highlighter_;
|
2007-03-25 01:25:29 +00:00
|
|
|
};
|
|
|
|
|
2007-10-09 09:43:56 +00:00
|
|
|
|
|
|
|
class GuiViewSource : public DockView
|
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
|
2007-10-06 15:03:58 +00:00
|
|
|
public:
|
2007-10-09 09:43:56 +00:00
|
|
|
GuiViewSource(
|
2007-11-05 13:52:37 +00:00
|
|
|
GuiView & parent, ///< the main window where to dock.
|
2007-10-09 09:43:56 +00:00
|
|
|
Qt::DockWidgetArea area = Qt::BottomDockWidgetArea, ///< Position of the dock (and also drawer)
|
|
|
|
Qt::WindowFlags flags = 0);
|
|
|
|
|
|
|
|
~GuiViewSource();
|
|
|
|
|
|
|
|
/// Controller inherited method.
|
|
|
|
///@{
|
2007-10-06 15:03:58 +00:00
|
|
|
bool initialiseParams(std::string const & source);
|
|
|
|
void clearParams() {}
|
|
|
|
void dispatchParams() {}
|
|
|
|
bool isBufferDependent() const { return true; }
|
|
|
|
bool canApply() const { return true; }
|
|
|
|
bool canApplyToReadOnly() const { return true; }
|
2007-10-09 09:43:56 +00:00
|
|
|
void updateView();
|
2008-05-13 21:28:04 +00:00
|
|
|
void enableView(bool enable);
|
2008-05-14 14:24:55 +00:00
|
|
|
void saveSession() const;
|
|
|
|
void restoreSession();
|
2008-06-09 14:52:38 +00:00
|
|
|
bool wantInitialFocus() const { return false; }
|
2007-10-09 09:43:56 +00:00
|
|
|
///@}
|
2007-10-06 15:03:58 +00:00
|
|
|
|
|
|
|
/// The title displayed by the dialog reflects source type.
|
2007-10-09 09:43:56 +00:00
|
|
|
QString title() const;
|
2007-10-06 15:03:58 +00:00
|
|
|
|
|
|
|
/** get the source code of selected paragraphs, or the whole document
|
|
|
|
\param fullSource get full source code
|
|
|
|
*/
|
2007-10-09 09:43:56 +00:00
|
|
|
QString getContent(bool fullSource);
|
2007-11-29 22:12:19 +00:00
|
|
|
// cursor position in the source code
|
|
|
|
struct Row { int begin; int end; };
|
|
|
|
Row getRows() const;
|
2007-10-06 15:03:58 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
/// The encapsulated widget.
|
2007-10-09 09:43:56 +00:00
|
|
|
ViewSourceWidget * widget_;
|
2007-10-06 15:03:58 +00:00
|
|
|
};
|
2006-04-15 14:13:41 +00:00
|
|
|
|
|
|
|
} // namespace frontend
|
|
|
|
} // namespace lyx
|
|
|
|
|
2007-08-31 22:16:11 +00:00
|
|
|
#endif // GUIVIEWSOURCE_H
|