2017-04-19 22:31:31 +12:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
|
|
#ifndef GLWIDGET_FOR_HIGHDPI_H
|
|
|
|
|
#define GLWIDGET_FOR_HIGHDPI_H
|
|
|
|
|
|
|
|
|
|
#include <QGLWidget>
|
|
|
|
|
#include <QApplication>
|
|
|
|
|
#include <QDesktopWidget>
|
2017-08-18 19:24:14 +12:00
|
|
|
#include "toonzqt/gutil.h"
|
2017-04-19 22:31:31 +12:00
|
|
|
|
|
|
|
|
// use obsolete QGLWidget instead of QOpenGLWidget for now...
|
|
|
|
|
// TODO: replace with the "modern" OpenGL source and transfer to QOpenGLWidget
|
|
|
|
|
class GLWidgetForHighDpi : public QGLWidget {
|
|
|
|
|
public:
|
|
|
|
|
GLWidgetForHighDpi(QWidget *parent = Q_NULLPTR,
|
|
|
|
|
const QGLWidget *shareWidget = Q_NULLPTR,
|
|
|
|
|
Qt::WindowFlags f = Qt::WindowFlags())
|
|
|
|
|
: QGLWidget(parent, shareWidget, f) {}
|
|
|
|
|
|
|
|
|
|
// modify sizes for high DPI monitors
|
|
|
|
|
int width() const { return QGLWidget::width() * getDevPixRatio(); }
|
|
|
|
|
int height() const { return QGLWidget::height() * getDevPixRatio(); }
|
|
|
|
|
QRect rect() const { return QRect(0, 0, width(), height()); }
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif
|
