1997-10-18 11:34:02 +00:00
|
|
|
//
|
|
|
|
// Class: dviWindow
|
|
|
|
//
|
|
|
|
// Widget for displaying TeX DVI files.
|
|
|
|
//
|
|
|
|
|
1999-06-27 19:06:40 +00:00
|
|
|
#ifndef _dviwin_h_
|
|
|
|
#define _dviwin_h_
|
|
|
|
|
1997-12-12 13:32:43 +00:00
|
|
|
#include "../config.h"
|
1997-10-18 11:34:02 +00:00
|
|
|
#include <qpainter.h>
|
|
|
|
#include <qevent.h>
|
|
|
|
#include <qtimer.h>
|
1999-03-01 23:45:56 +00:00
|
|
|
#include <qdatetime.h>
|
2000-01-11 23:28:34 +00:00
|
|
|
#include <qscrollview.h>
|
1997-10-18 11:34:02 +00:00
|
|
|
|
2000-01-11 23:28:34 +00:00
|
|
|
class dviWindow : public QScrollView
|
1997-10-18 11:34:02 +00:00
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
|
|
|
|
public:
|
2000-05-05 08:18:32 +00:00
|
|
|
dviWindow( int basedpi, int zoom, const char *mfmode, const char *paper, int makepk,
|
1997-10-18 11:34:02 +00:00
|
|
|
QWidget *parent=0, const char *name=0 );
|
|
|
|
~dviWindow();
|
|
|
|
int page();
|
|
|
|
int totalPages();
|
|
|
|
void setShowPS( int flag );
|
|
|
|
int showPS();
|
|
|
|
void setAntiAlias( int flag );
|
|
|
|
int antiAlias();
|
|
|
|
void setMakePK( int flag );
|
|
|
|
int makePK();
|
|
|
|
void setResolution( int basedpi );
|
|
|
|
int resolution();
|
|
|
|
void setMetafontMode( const char * );
|
|
|
|
const char * metafontMode();
|
|
|
|
void setPaper( const char * );
|
|
|
|
const char * paper();
|
|
|
|
void setGamma( float );
|
|
|
|
float gamma();
|
|
|
|
void setFontPath( const char * );
|
|
|
|
const char * fontPath();
|
2000-01-11 23:28:34 +00:00
|
|
|
|
1997-10-18 11:34:02 +00:00
|
|
|
signals:
|
2000-01-11 23:28:34 +00:00
|
|
|
void setPoint( QPoint p );
|
1999-03-06 00:23:20 +00:00
|
|
|
void statusChange( const QString & );
|
2000-01-11 23:28:34 +00:00
|
|
|
|
1997-10-18 11:34:02 +00:00
|
|
|
|
|
|
|
public slots:
|
|
|
|
void setFile(const char *fname);
|
|
|
|
void gotoPage(int page);
|
2000-05-05 08:18:32 +00:00
|
|
|
void setZoom(int zoom);
|
1997-10-18 11:34:02 +00:00
|
|
|
void drawPage();
|
|
|
|
|
|
|
|
protected:
|
2000-01-11 23:28:34 +00:00
|
|
|
void drawContents ( QPainter *p,
|
|
|
|
int clipx, int clipy,
|
|
|
|
int clipw, int cliph );
|
1997-10-18 11:34:02 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
bool correctDVI();
|
|
|
|
void initDVI();
|
|
|
|
void changePageSize();
|
2000-01-11 23:28:34 +00:00
|
|
|
QPoint mouse;
|
1997-10-18 11:34:02 +00:00
|
|
|
QString filename;
|
|
|
|
int basedpi, makepk;
|
|
|
|
QPixmap * pixmap;
|
|
|
|
QTimer * timer;
|
|
|
|
QString MetafontMode;
|
|
|
|
QString FontPath;
|
|
|
|
QString paper_type;
|
|
|
|
int ChangesPossible;
|
|
|
|
};
|
1999-06-27 19:06:40 +00:00
|
|
|
|
|
|
|
#endif
|