2002-06-18 15:44:30 +00:00
|
|
|
/**
|
|
|
|
* \file screen.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
|
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
|
|
|
|
2002-05-23 15:43:25 +00:00
|
|
|
#include "screen.h"
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "font_metrics.h"
|
|
|
|
#include "lyx_gui.h"
|
|
|
|
#include "Painter.h"
|
|
|
|
#include "WorkArea.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"
|
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"
|
|
|
|
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "insets/updatableinset.h"
|
|
|
|
|
2002-06-25 15:59:10 +00:00
|
|
|
#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
|
|
|
|
2003-09-09 22:13:45 +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
|
|
|
|
2002-06-25 15:59:10 +00:00
|
|
|
namespace {
|
|
|
|
|
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;
|
|
|
|
|
2003-01-12 19:35:40 +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
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace anon
|
|
|
|
|
2002-06-21 17:16:35 +00:00
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
LyXScreen::LyXScreen()
|
2003-03-17 01:34:36 +00:00
|
|
|
: cursor_visible_(false), 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();
|
|
|
|
splash.connect(boost::bind(&LyXScreen::greyOut, this));
|
|
|
|
splash.startLoading();
|
|
|
|
}
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
LyXScreen::~LyXScreen()
|
2001-06-25 00:06:33 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2002-03-21 17:27:08 +00:00
|
|
|
|
2003-05-03 18:05:53 +00:00
|
|
|
void LyXScreen::showCursor(BufferView & bv)
|
2002-06-11 23:47:58 +00:00
|
|
|
{
|
2003-06-03 19:32:08 +00:00
|
|
|
// this is needed to make sure we copy back the right
|
|
|
|
// pixmap on the hide for the Qt frontend
|
|
|
|
lyx_gui::sync_events();
|
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
if (cursor_visible_)
|
|
|
|
return;
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2003-05-03 18:05:53 +00:00
|
|
|
if (!bv.available())
|
|
|
|
return;
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
Cursor_Shape shape = BAR_SHAPE;
|
2003-05-03 18:05:53 +00:00
|
|
|
|
|
|
|
LyXText const & text = *bv.getLyXText();
|
2003-07-22 15:12:04 +00:00
|
|
|
LyXFont const & realfont = text.real_current_font;
|
2003-09-09 09:47:59 +00:00
|
|
|
BufferParams const & bp = bv.buffer()->params();
|
2003-05-03 18:05:53 +00:00
|
|
|
bool const samelang = realfont.language() == bp.language;
|
|
|
|
bool const isrtl = realfont.isVisibleRightToLeft();
|
|
|
|
|
|
|
|
if (!samelang || isrtl != bp.language->RightToLeft()) {
|
|
|
|
shape = L_SHAPE;
|
|
|
|
if (isrtl)
|
|
|
|
shape = REVERSED_L_SHAPE;
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2003-08-27 20:12:08 +00:00
|
|
|
// The ERT language hack needs fixing up
|
|
|
|
if (realfont.language() == latex_language)
|
|
|
|
shape = BAR_SHAPE;
|
|
|
|
|
2003-05-03 18:05:53 +00:00
|
|
|
int ascent = font_metrics::maxAscent(realfont);
|
|
|
|
int descent = font_metrics::maxDescent(realfont);
|
|
|
|
int h = ascent + descent;
|
|
|
|
int x = 0;
|
|
|
|
int y = 0;
|
2003-11-10 09:06:48 +00:00
|
|
|
bv.cursor().getPos(x, y);
|
2003-11-11 09:06:41 +00:00
|
|
|
y -= ascent + bv.top_y();
|
2003-11-10 09:06:48 +00:00
|
|
|
//lyxerr << "LyXScreen::showCursor x: " << x << " y: " << y << endl;
|
2003-05-03 18:05:53 +00:00
|
|
|
|
|
|
|
// if it doesn't fit entirely on the screen, don't try to show it
|
|
|
|
if (y < 0 || y + h > workarea().workHeight())
|
|
|
|
return;
|
|
|
|
|
|
|
|
cursor_visible_ = true;
|
2003-06-03 19:32:08 +00:00
|
|
|
showCursor(x, y, h, shape);
|
2003-05-03 18:05:53 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::hideCursor()
|
|
|
|
{
|
|
|
|
if (!cursor_visible_)
|
|
|
|
return;
|
|
|
|
|
|
|
|
cursor_visible_ = false;
|
2003-06-03 19:32:08 +00:00
|
|
|
removeCursor();
|
2003-05-03 18:05:53 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::toggleCursor(BufferView & bv)
|
|
|
|
{
|
|
|
|
if (cursor_visible_)
|
|
|
|
hideCursor();
|
|
|
|
else
|
|
|
|
showCursor(bv);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-11-13 08:50:26 +00:00
|
|
|
bool LyXScreen::fitCursor(BufferView * bv)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
2003-11-13 08:50:26 +00:00
|
|
|
int const top_y = bv->top_y();
|
|
|
|
int const h = workarea().workHeight();
|
2002-06-18 15:44:30 +00:00
|
|
|
int newtop = top_y;
|
2003-11-13 08:50:26 +00:00
|
|
|
int x, y, asc, desc;
|
|
|
|
|
|
|
|
bv->cursor().getPos(x, y);
|
|
|
|
bv->cursor().getDim(asc, desc);
|
|
|
|
|
|
|
|
bool const big_row = h / 4 < asc + desc && asc + desc < h;
|
|
|
|
|
|
|
|
if (y + desc - top_y >= h) {
|
|
|
|
if (big_row)
|
|
|
|
newtop = y + desc - h;
|
|
|
|
else
|
|
|
|
newtop = y - h / 2;
|
|
|
|
|
|
|
|
} else if (top_y > max(y - asc, 0)) {
|
|
|
|
if (big_row)
|
|
|
|
newtop = y - asc;
|
|
|
|
else {
|
|
|
|
newtop = y - h / 2;
|
2002-06-12 10:31:34 +00:00
|
|
|
newtop = min(newtop, top_y);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
}
|
2000-05-20 21:37:05 +00:00
|
|
|
|
2003-11-13 08:50:26 +00:00
|
|
|
newtop = max(newtop, 0);
|
|
|
|
if (newtop == top_y)
|
|
|
|
return false;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-08-27 14:55:20 +00:00
|
|
|
bv->top_y(newtop);
|
2003-11-13 08:50:26 +00:00
|
|
|
return true;
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2003-08-01 14:51:09 +00:00
|
|
|
void LyXScreen::redraw(BufferView & bv)
|
2002-06-18 15:44:30 +00:00
|
|
|
{
|
2003-11-28 08:55:12 +00:00
|
|
|
greyed_out_ = !bv.text();
|
2003-02-26 12:49:01 +00:00
|
|
|
|
|
|
|
if (greyed_out_) {
|
2002-06-18 15:44:30 +00:00
|
|
|
greyOut();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2003-02-27 09:39:24 +00:00
|
|
|
workarea().getPainter().start();
|
|
|
|
|
2003-08-19 16:46:47 +00:00
|
|
|
hideCursor();
|
|
|
|
|
2003-08-27 14:55:20 +00:00
|
|
|
int const y = paintText(bv);
|
2003-08-19 16:46:47 +00:00
|
|
|
|
|
|
|
// maybe we have to clear the screen at the bottom
|
|
|
|
int const y2 = workarea().workHeight();
|
2003-11-28 08:55:12 +00:00
|
|
|
if (y < y2 && !bv.text()->isInInset()) {
|
2003-08-19 16:46:47 +00:00
|
|
|
workarea().getPainter().fillRectangle(0, y,
|
|
|
|
workarea().workWidth(), y2 - y,
|
|
|
|
LColor::bottomarea);
|
|
|
|
}
|
|
|
|
|
2003-10-17 18:01:15 +00:00
|
|
|
lyxerr << "Redraw screen" << endl;
|
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
expose(0, 0, workarea().workWidth(), workarea().workHeight());
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
workarea().getPainter().end();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::greyOut()
|
|
|
|
{
|
2003-02-26 12:49:01 +00:00
|
|
|
if (!greyed_out_)
|
|
|
|
return;
|
|
|
|
|
2003-02-27 09:39:24 +00:00
|
|
|
workarea().getPainter().start();
|
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
workarea().getPainter().fillRectangle(0, 0,
|
|
|
|
workarea().workWidth(),
|
|
|
|
workarea().workHeight(),
|
|
|
|
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();
|
|
|
|
|
2002-07-04 17:45:35 +00:00
|
|
|
int x = (workarea().workWidth() - w) / 2;
|
|
|
|
int y = (workarea().workHeight() - h) / 2;
|
2002-06-21 17:16:35 +00:00
|
|
|
|
2002-06-25 15:59:10 +00:00
|
|
|
workarea().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;
|
|
|
|
|
2003-08-18 08:23:03 +00:00
|
|
|
workarea().getPainter().text(x, y, splash.text(), splash.font());
|
2002-06-21 17:16:35 +00:00
|
|
|
}
|
2003-02-26 12:49:01 +00:00
|
|
|
expose(0, 0, workarea().workWidth(), workarea().workHeight());
|
|
|
|
workarea().getPainter().end();
|
2002-06-18 15:44:30 +00:00
|
|
|
}
|