2002-06-18 15:44:30 +00:00
|
|
|
/**
|
2006-06-20 08:39:16 +00:00
|
|
|
* \file WorkArea.C
|
2002-09-05 15:14:23 +00:00
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
2002-06-18 15:44:30 +00:00
|
|
|
*
|
2002-11-27 10:30:28 +00:00
|
|
|
* \author John Levon
|
2006-06-20 08:39:16 +00:00
|
|
|
* \author Abdelrazak Younes
|
2002-09-05 14:10:50 +00:00
|
|
|
*
|
2003-08-23 00:17:00 +00:00
|
|
|
* Full author contact details are available in file CREDITS.
|
2002-06-25 15:59:10 +00:00
|
|
|
*
|
|
|
|
* Splash screen code added by Angus Leeming
|
2002-06-18 15:44:30 +00:00
|
|
|
*/
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
#include <config.h>
|
2000-02-18 22:22:42 +00:00
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
#include "WorkArea.h"
|
|
|
|
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "font_metrics.h"
|
|
|
|
#include "lyx_gui.h"
|
|
|
|
#include "Painter.h"
|
2003-07-28 18:40:05 +00:00
|
|
|
|
2001-06-25 00:06:33 +00:00
|
|
|
#include "BufferView.h"
|
2002-06-18 15:44:30 +00:00
|
|
|
#include "buffer.h"
|
2003-09-09 11:24:33 +00:00
|
|
|
#include "bufferparams.h"
|
2005-02-04 07:16:03 +00:00
|
|
|
#include "coordcache.h"
|
2003-11-10 09:06:48 +00:00
|
|
|
#include "cursor.h"
|
2002-06-18 15:44:30 +00:00
|
|
|
#include "debug.h"
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "language.h"
|
2003-09-16 09:44:34 +00:00
|
|
|
#include "LColor.h"
|
2002-06-25 15:59:10 +00:00
|
|
|
#include "lyxfont.h"
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "lyxrc.h"
|
|
|
|
#include "lyxrow.h"
|
|
|
|
#include "lyxtext.h"
|
|
|
|
#include "metricsinfo.h"
|
2003-10-24 09:45:07 +00:00
|
|
|
#include "paragraph.h"
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "rowpainter.h"
|
2002-06-25 15:59:10 +00:00
|
|
|
#include "version.h"
|
|
|
|
|
|
|
|
#include "graphics/GraphicsImage.h"
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "graphics/GraphicsLoader.h"
|
2002-06-25 15:59:10 +00:00
|
|
|
|
|
|
|
#include "support/filetools.h" // LibFileSearch
|
|
|
|
|
|
|
|
#include <boost/utility.hpp>
|
|
|
|
#include <boost/bind.hpp>
|
2002-06-26 14:15:08 +00:00
|
|
|
#include <boost/signals/trackable.hpp>
|
2002-06-25 15:59:10 +00:00
|
|
|
|
2006-04-08 22:31:11 +00:00
|
|
|
using lyx::support::libFileSearch;
|
2003-06-30 23:56:22 +00:00
|
|
|
|
2003-10-17 18:01:15 +00:00
|
|
|
using std::endl;
|
2000-02-18 22:22:42 +00:00
|
|
|
using std::min;
|
2002-06-18 15:44:30 +00:00
|
|
|
using std::max;
|
2003-10-06 15:43:21 +00:00
|
|
|
using std::string;
|
2003-09-05 10:55:42 +00:00
|
|
|
|
2002-06-21 17:16:35 +00:00
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
namespace lyx {
|
|
|
|
namespace frontend {
|
2002-06-25 15:59:10 +00:00
|
|
|
|
2002-06-26 14:15:08 +00:00
|
|
|
class SplashScreen : boost::noncopyable, boost::signals::trackable {
|
2002-06-25 15:59:10 +00:00
|
|
|
public:
|
|
|
|
/// This is a singleton class. Get the instance.
|
|
|
|
static SplashScreen const & get();
|
|
|
|
///
|
2003-07-21 21:30:57 +00:00
|
|
|
lyx::graphics::Image const * image() const { return loader_.image(); }
|
2002-06-25 15:59:10 +00:00
|
|
|
///
|
|
|
|
string const & text() const { return text_; }
|
|
|
|
///
|
|
|
|
LyXFont const & font() const { return font_; }
|
2003-02-26 12:49:01 +00:00
|
|
|
///
|
2003-07-21 21:30:57 +00:00
|
|
|
void connect(lyx::graphics::Loader::slot_type const & slot) const {
|
2003-02-26 12:49:01 +00:00
|
|
|
loader_.connect(slot);
|
|
|
|
}
|
|
|
|
///
|
|
|
|
void startLoading() const {
|
2003-07-21 21:30:57 +00:00
|
|
|
if (loader_.status() == lyx::graphics::WaitingToLoad)
|
2003-02-26 12:49:01 +00:00
|
|
|
loader_.startLoading();
|
|
|
|
}
|
2002-06-25 15:59:10 +00:00
|
|
|
|
|
|
|
private:
|
2002-06-26 14:15:08 +00:00
|
|
|
/** Make the c-tor private so we can control how many objects
|
2002-06-25 15:59:10 +00:00
|
|
|
* are instantiated.
|
|
|
|
*/
|
|
|
|
SplashScreen();
|
|
|
|
|
2002-06-26 14:15:08 +00:00
|
|
|
///
|
2003-07-21 21:30:57 +00:00
|
|
|
lyx::graphics::Loader loader_;
|
2002-06-25 15:59:10 +00:00
|
|
|
/// The text to be written on top of the pixmap
|
|
|
|
string const text_;
|
|
|
|
/// in this font...
|
|
|
|
LyXFont font_;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
SplashScreen const & SplashScreen::get()
|
|
|
|
{
|
|
|
|
static SplashScreen singleton;
|
|
|
|
return singleton;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
SplashScreen::SplashScreen()
|
2002-06-26 14:15:08 +00:00
|
|
|
: text_(lyx_version ? lyx_version : "unknown")
|
2002-06-25 15:59:10 +00:00
|
|
|
{
|
2002-08-06 13:00:50 +00:00
|
|
|
if (!lyxrc.show_banner)
|
|
|
|
return;
|
|
|
|
|
2006-04-08 22:31:11 +00:00
|
|
|
string const file = libFileSearch("images", "banner", "ppm");
|
2002-06-25 15:59:10 +00:00
|
|
|
if (file.empty())
|
|
|
|
return;
|
|
|
|
|
|
|
|
// The font used to display the version info
|
|
|
|
font_.setFamily(LyXFont::SANS_FAMILY);
|
|
|
|
font_.setSeries(LyXFont::BOLD_SERIES);
|
|
|
|
font_.setSize(LyXFont::SIZE_NORMAL);
|
|
|
|
font_.setColor(LColor::yellow);
|
|
|
|
|
|
|
|
// Load up the graphics file
|
2002-06-26 14:15:08 +00:00
|
|
|
loader_.reset(file);
|
2002-06-25 15:59:10 +00:00
|
|
|
}
|
|
|
|
|
2006-06-26 16:55:35 +00:00
|
|
|
WorkArea::WorkArea(BufferView * buffer_view)
|
|
|
|
: buffer_view_(buffer_view), greyed_out_(true)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
2002-06-25 15:59:10 +00:00
|
|
|
// Start loading the pixmap as soon as possible
|
2003-02-26 12:49:01 +00:00
|
|
|
if (lyxrc.show_banner) {
|
|
|
|
SplashScreen const & splash = SplashScreen::get();
|
2006-06-20 08:39:16 +00:00
|
|
|
splash.connect(boost::bind(&WorkArea::checkAndGreyOut, this));
|
2003-02-26 12:49:01 +00:00
|
|
|
splash.startLoading();
|
|
|
|
}
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-06-26 16:55:35 +00:00
|
|
|
void WorkArea::setBufferView(BufferView * buffer_view)
|
|
|
|
{
|
|
|
|
buffer_view_ = buffer_view;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-07-03 22:31:51 +00:00
|
|
|
BufferView & WorkArea::bufferView()
|
|
|
|
{
|
|
|
|
return *buffer_view_;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
BufferView const & WorkArea::bufferView() const
|
|
|
|
{
|
|
|
|
return *buffer_view_;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
void WorkArea::checkAndGreyOut()
|
2004-11-30 01:59:49 +00:00
|
|
|
{
|
|
|
|
if (greyed_out_)
|
|
|
|
greyOut();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-07-04 00:04:46 +00:00
|
|
|
void WorkArea::redraw(BufferView & bv)
|
2002-06-18 15:44:30 +00:00
|
|
|
{
|
2004-11-30 01:59:49 +00:00
|
|
|
greyed_out_ = false;
|
2006-07-04 00:04:46 +00:00
|
|
|
ViewMetricsInfo const & vi = bv.viewMetricsInfo();
|
2006-06-20 08:39:16 +00:00
|
|
|
getPainter().start();
|
2006-06-26 16:55:35 +00:00
|
|
|
paintText(*buffer_view_, vi);
|
2004-06-18 13:31:55 +00:00
|
|
|
lyxerr[Debug::DEBUG] << "Redraw screen" << endl;
|
2006-03-20 15:05:07 +00:00
|
|
|
int const ymin = std::max(vi.y1, 0);
|
2006-04-05 23:56:29 +00:00
|
|
|
int const ymax =
|
2006-06-20 08:39:16 +00:00
|
|
|
( vi.p2 < vi.size - 1 ? vi.y2 : height() );
|
|
|
|
expose(0, ymin, width(), ymax - ymin);
|
|
|
|
getPainter().end();
|
2005-02-04 07:16:03 +00:00
|
|
|
theCoords.doneUpdating();
|
2002-06-18 15:44:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
void WorkArea::greyOut()
|
2002-06-18 15:44:30 +00:00
|
|
|
{
|
2004-11-30 01:59:49 +00:00
|
|
|
greyed_out_ = true;
|
2006-06-20 08:39:16 +00:00
|
|
|
getPainter().start();
|
2003-02-27 09:39:24 +00:00
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
getPainter().fillRectangle(0, 0,
|
|
|
|
width(),
|
|
|
|
height(),
|
2002-06-18 15:44:30 +00:00
|
|
|
LColor::bottomarea);
|
2002-06-21 04:40:40 +00:00
|
|
|
|
|
|
|
// Add a splash screen to the centre of the work area
|
2002-06-25 15:59:10 +00:00
|
|
|
SplashScreen const & splash = SplashScreen::get();
|
2003-07-21 21:30:57 +00:00
|
|
|
lyx::graphics::Image const * const splash_image = splash.image();
|
2002-06-25 15:59:10 +00:00
|
|
|
if (splash_image) {
|
|
|
|
int const w = splash_image->getWidth();
|
|
|
|
int const h = splash_image->getHeight();
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
int x = (width() - w) / 2;
|
|
|
|
int y = (height() - h) / 2;
|
2002-06-21 17:16:35 +00:00
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
getPainter().image(x, y, w, h, *splash_image);
|
2002-06-21 17:16:35 +00:00
|
|
|
|
2002-06-25 15:59:10 +00:00
|
|
|
x += 260;
|
|
|
|
y += 265;
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
getPainter().text(x, y, splash.text(), splash.font());
|
2002-06-21 17:16:35 +00:00
|
|
|
}
|
2006-06-20 08:39:16 +00:00
|
|
|
expose(0, 0, width(), height());
|
|
|
|
getPainter().end();
|
2002-06-18 15:44:30 +00:00
|
|
|
}
|
2006-06-20 08:39:16 +00:00
|
|
|
|
|
|
|
} // namespace frontend
|
|
|
|
} // namespace lyx
|