2000-02-10 17:53:36 +00:00
|
|
|
// -*- C++ -*-
|
|
|
|
/* This file is part of
|
|
|
|
* ======================================================
|
|
|
|
*
|
|
|
|
* LyX, The Document Processor
|
|
|
|
*
|
|
|
|
* Copyright 1995 Matthias Ettrich
|
|
|
|
* Copyright 1995-2000 The LyX Team.
|
|
|
|
*
|
|
|
|
* ======================================================*/
|
|
|
|
|
|
|
|
#ifndef WORKAREA_H
|
|
|
|
#define WORKAREA_H
|
|
|
|
|
|
|
|
#ifdef __GNUG__
|
|
|
|
#pragma interface
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#include <utility>
|
|
|
|
|
2000-08-14 15:31:16 +00:00
|
|
|
#include <sigc++/signal_system.h>
|
2000-06-21 12:41:18 +00:00
|
|
|
|
2000-02-10 17:53:36 +00:00
|
|
|
#include FORMS_H_LOCATION
|
|
|
|
#include "Painter.h"
|
|
|
|
|
2000-08-14 15:31:16 +00:00
|
|
|
#ifdef SIGC_CXX_NAMESPACES
|
|
|
|
using SigC::Signal0;
|
|
|
|
using SigC::Signal2;
|
|
|
|
using SigC::Signal3;
|
|
|
|
#endif
|
2000-06-21 12:41:18 +00:00
|
|
|
|
2000-02-10 17:53:36 +00:00
|
|
|
class BufferView;
|
|
|
|
|
2000-08-07 20:58:24 +00:00
|
|
|
///
|
2000-02-10 17:53:36 +00:00
|
|
|
class WorkArea {
|
|
|
|
public:
|
|
|
|
///
|
|
|
|
WorkArea(BufferView *, int xpos, int ypos, int width, int height);
|
|
|
|
///
|
|
|
|
~WorkArea();
|
|
|
|
///
|
|
|
|
Painter & getPainter() { return painter_; }
|
|
|
|
///
|
2000-06-12 11:27:15 +00:00
|
|
|
int workWidth() const { return work_area->w; }
|
2000-02-10 17:53:36 +00:00
|
|
|
///
|
2000-04-26 13:57:28 +00:00
|
|
|
unsigned int width() const { return work_area->w + scrollbar->w; }
|
2000-02-10 17:53:36 +00:00
|
|
|
///
|
2000-04-26 13:57:28 +00:00
|
|
|
unsigned int height() const { return work_area->h; }
|
2000-02-10 17:53:36 +00:00
|
|
|
///
|
|
|
|
int xpos() const { return work_area->x; }
|
|
|
|
///
|
|
|
|
int ypos() const { return work_area->y; }
|
|
|
|
///
|
|
|
|
void resize(int xpos, int ypos, int width, int height);
|
|
|
|
///
|
|
|
|
void redraw() const {
|
|
|
|
fl_redraw_object(work_area);
|
|
|
|
fl_redraw_object(scrollbar);
|
|
|
|
}
|
|
|
|
///
|
|
|
|
void setFocus() const;
|
|
|
|
///
|
|
|
|
Window getWin() const { return work_area->form->window; }
|
|
|
|
///
|
|
|
|
bool hasFocus() const { return work_area->focus; }
|
|
|
|
///
|
|
|
|
bool active() const { return work_area->active; }
|
|
|
|
///
|
2000-03-07 01:14:37 +00:00
|
|
|
bool belowMouse() const;
|
2000-02-23 16:39:03 +00:00
|
|
|
///
|
2000-02-10 17:53:36 +00:00
|
|
|
bool visible() const { return work_area->form->visible; }
|
|
|
|
///
|
|
|
|
void greyOut() const;
|
|
|
|
///
|
|
|
|
void setScrollbar(double pos, double length_fraction) const;
|
|
|
|
///
|
2000-04-26 13:57:28 +00:00
|
|
|
void setScrollbarValue(double y) const {
|
|
|
|
fl_set_scrollbar_value(scrollbar, y);
|
|
|
|
}
|
2000-02-10 17:53:36 +00:00
|
|
|
///
|
|
|
|
void setScrollbarBounds(double, double) const;
|
|
|
|
///
|
2000-04-26 13:57:28 +00:00
|
|
|
void setScrollbarIncrements(double inc) const;
|
2000-02-10 17:53:36 +00:00
|
|
|
///
|
|
|
|
double getScrollbarValue() const {
|
2000-04-26 13:57:28 +00:00
|
|
|
return fl_get_scrollbar_value(scrollbar);
|
2000-02-10 17:53:36 +00:00
|
|
|
}
|
2000-04-26 13:57:28 +00:00
|
|
|
///
|
|
|
|
std::pair<float, float> getScrollbarBounds() const {
|
|
|
|
std::pair<float, float> p;
|
|
|
|
fl_get_scrollbar_bounds(scrollbar, &p.first, &p.second);
|
|
|
|
return p;
|
|
|
|
}
|
2000-02-10 17:53:36 +00:00
|
|
|
///
|
|
|
|
Pixmap getPixmap() const { return workareapixmap; }
|
|
|
|
/// xforms callback
|
|
|
|
static int work_area_handler(FL_OBJECT *, int event,
|
|
|
|
FL_Coord, FL_Coord,
|
|
|
|
int /*key*/, void * xev);
|
|
|
|
/// xforms callback
|
|
|
|
static void scroll_cb(FL_OBJECT *, long);
|
2000-05-20 01:38:25 +00:00
|
|
|
///
|
|
|
|
string getClipboard() const;
|
|
|
|
///
|
|
|
|
void putClipboard(string const &) const;
|
2000-06-12 11:27:15 +00:00
|
|
|
///
|
|
|
|
BufferView * owner() const { return owner_; }
|
|
|
|
|
2000-06-21 12:41:18 +00:00
|
|
|
// Signals
|
2000-08-14 15:31:16 +00:00
|
|
|
///
|
|
|
|
Signal0<void> workAreaExpose;
|
|
|
|
///
|
|
|
|
Signal2<void, KeySym, unsigned int> workAreaKeyPress;
|
|
|
|
///
|
|
|
|
Signal3<void, int, int, unsigned int> workAreaButtonPress;
|
|
|
|
///
|
|
|
|
Signal3<void, int, int, unsigned int> workAreaButtonRelease;
|
|
|
|
///
|
|
|
|
Signal3<void, int, int, unsigned int> workAreaMotionNotify;
|
|
|
|
///
|
|
|
|
Signal0<void> workAreaFocus;
|
|
|
|
///
|
|
|
|
Signal0<void> workAreaUnfocus;
|
|
|
|
///
|
|
|
|
Signal0<void> workAreaEnter;
|
|
|
|
///
|
|
|
|
Signal0<void> workAreaLeave;
|
|
|
|
///
|
|
|
|
Signal3<void, int, int, unsigned int> workAreaDoubleClick;
|
|
|
|
///
|
|
|
|
Signal3<void, int, int, unsigned int> workAreaTripleClick;
|
2000-02-11 13:52:44 +00:00
|
|
|
private:
|
|
|
|
///
|
|
|
|
void createPixmap(int, int);
|
2000-02-10 17:53:36 +00:00
|
|
|
///
|
|
|
|
FL_OBJECT * backgroundbox;
|
|
|
|
///
|
|
|
|
FL_OBJECT * work_area;
|
|
|
|
///
|
|
|
|
FL_OBJECT * scrollbar;
|
|
|
|
///
|
2000-06-12 11:27:15 +00:00
|
|
|
BufferView * owner_;
|
2000-02-10 17:53:36 +00:00
|
|
|
/// The pixmap overlay on the workarea
|
|
|
|
Pixmap workareapixmap;
|
|
|
|
///
|
|
|
|
Painter painter_;
|
|
|
|
///
|
|
|
|
FL_OBJECT * figinset_canvas;
|
|
|
|
};
|
|
|
|
#endif
|