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"
|
2002-06-18 15:44:30 +00:00
|
|
|
#include "debug.h"
|
2003-09-05 10:55:42 +00:00
|
|
|
#include "language.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"
|
|
|
|
#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
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
using std::min;
|
2002-06-18 15:44:30 +00:00
|
|
|
using std::max;
|
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-08-27 14:55:20 +00:00
|
|
|
int const top_y = bv.top_y();
|
2003-05-03 18:05:53 +00:00
|
|
|
|
|
|
|
if (bv.theLockingInset()) {
|
|
|
|
// Would be nice to clean this up to make some understandable sense...
|
|
|
|
UpdatableInset * inset = bv.theLockingInset();
|
|
|
|
inset->getCursor(bv, x, y);
|
|
|
|
|
|
|
|
// Non-obvious. The reason we have to have these
|
|
|
|
// extra checks is that the ->getCursor() calls rely
|
|
|
|
// on the inset's own knowledge of its screen position.
|
|
|
|
// If we scroll up or down in a big enough increment, the
|
|
|
|
// inset->draw() is not called: this doesn't update
|
|
|
|
// inset.top_baseline, so getCursor() returns an old value.
|
|
|
|
// Ugly as you like.
|
|
|
|
int bx, by;
|
|
|
|
inset->getCursorPos(&bv, bx, by);
|
2003-09-02 17:08:54 +00:00
|
|
|
by += inset->insetInInsetY() + bv.text->cursor.y();
|
2003-05-03 18:05:53 +00:00
|
|
|
if (by < top_y)
|
|
|
|
return;
|
|
|
|
if (by > top_y + workarea().workHeight())
|
|
|
|
return;
|
|
|
|
} else {
|
|
|
|
x = bv.text->cursor.x();
|
|
|
|
y = bv.text->cursor.y();
|
|
|
|
y -= top_y;
|
|
|
|
}
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2003-05-03 18:05:53 +00:00
|
|
|
y -= ascent;
|
|
|
|
|
|
|
|
// 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-08-28 07:41:31 +00:00
|
|
|
bool LyXScreen::fitManualCursor(BufferView * bv, LyXText *,
|
2002-06-18 15:44:30 +00:00
|
|
|
int /*x*/, int y, int asc, int desc)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
2002-06-18 15:44:30 +00:00
|
|
|
int const vheight = workarea().workHeight();
|
2003-08-27 14:55:20 +00:00
|
|
|
int const topy = bv->top_y();
|
|
|
|
int newtop = topy;
|
2003-08-28 07:41:31 +00:00
|
|
|
|
|
|
|
|
2003-08-27 14:55:20 +00:00
|
|
|
if (y + desc - topy >= vheight)
|
2002-06-18 15:44:30 +00:00
|
|
|
newtop = y - 3 * vheight / 4; // the scroll region must be so big!!
|
2003-08-27 14:55:20 +00:00
|
|
|
else if (y - asc < topy && topy > 0)
|
2002-06-18 15:44:30 +00:00
|
|
|
newtop = y - vheight / 4;
|
2000-05-20 21:37:05 +00:00
|
|
|
|
2000-09-29 18:44:07 +00:00
|
|
|
newtop = max(newtop, 0); // can newtop ever be < 0? (Lgb)
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2003-08-27 14:55:20 +00:00
|
|
|
if (newtop == topy)
|
2003-07-28 21:22:42 +00:00
|
|
|
return false;
|
2002-12-03 09:57:59 +00:00
|
|
|
|
2003-08-27 14:55:20 +00:00
|
|
|
bv->top_y(newtop);
|
2003-07-28 21:22:42 +00:00
|
|
|
return true;
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-06-27 08:38:41 +00:00
|
|
|
unsigned int LyXScreen::topCursorVisible(LyXText * text)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
2003-06-27 08:38:41 +00:00
|
|
|
LyXCursor const & cursor = text->cursor;
|
2003-08-27 14:55:20 +00:00
|
|
|
int top_y = text->bv()->top_y();
|
2002-06-18 15:44:30 +00:00
|
|
|
int newtop = top_y;
|
2003-08-28 07:41:31 +00:00
|
|
|
unsigned int const vheight = workarea().workHeight();
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-06-27 08:38:41 +00:00
|
|
|
RowList::iterator row = text->cursorRow();
|
2001-12-28 21:52:59 +00:00
|
|
|
|
2003-08-19 16:46:47 +00:00
|
|
|
if (int(cursor.y() - row->baseline() + row->height() - top_y) >= vheight) {
|
2002-06-12 10:31:34 +00:00
|
|
|
if (row->height() < vheight
|
|
|
|
&& row->height() > vheight / 4) {
|
|
|
|
newtop = cursor.y()
|
2001-12-28 21:52:59 +00:00
|
|
|
+ row->height()
|
2002-06-12 10:31:34 +00:00
|
|
|
- row->baseline() - vheight;
|
2001-12-02 23:20:56 +00:00
|
|
|
} else {
|
2003-06-27 08:38:41 +00:00
|
|
|
// scroll down, the scroll region must be so big!!
|
2003-06-30 23:56:22 +00:00
|
|
|
newtop = cursor.y() - vheight / 2;
|
2001-12-02 23:20:56 +00:00
|
|
|
}
|
2002-06-24 20:28:12 +00:00
|
|
|
|
2003-07-28 21:22:42 +00:00
|
|
|
} else if (int(cursor.y() - row->baseline()) < top_y && top_y > 0) {
|
|
|
|
if (row->height() < vheight && row->height() > vheight / 4) {
|
2002-06-12 10:31:34 +00:00
|
|
|
newtop = cursor.y() - row->baseline();
|
2001-12-02 23:20:56 +00:00
|
|
|
} else {
|
|
|
|
// scroll up
|
2002-06-12 10:31:34 +00:00
|
|
|
newtop = cursor.y() - vheight / 2;
|
|
|
|
newtop = min(newtop, top_y);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
}
|
2000-05-20 21:37:05 +00:00
|
|
|
|
2003-08-19 16:46:47 +00:00
|
|
|
return max(newtop, 0);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2002-06-18 15:44:30 +00:00
|
|
|
bool LyXScreen::fitCursor(LyXText * text, BufferView * bv)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
2000-04-26 13:57:28 +00:00
|
|
|
// Is a change necessary?
|
2003-06-27 08:38:41 +00:00
|
|
|
int const newtop = topCursorVisible(text);
|
2003-08-27 14:55:20 +00:00
|
|
|
bool const result = (newtop != bv->top_y());
|
|
|
|
bv->top_y(newtop);
|
1999-09-27 18:44:28 +00:00
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
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-08-01 14:51:09 +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();
|
|
|
|
if (y < y2 && !bv.text->isInInset()) {
|
|
|
|
workarea().getPainter().fillRectangle(0, y,
|
|
|
|
workarea().workWidth(), y2 - y,
|
|
|
|
LColor::bottomarea);
|
|
|
|
}
|
|
|
|
|
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
|
|
|
}
|