Amelioration du rendu dans l'editeur d'element lorsque le zoom est inferieur a 1:1.

git-svn-id: svn+ssh://svn.tuxfamily.org/svnroot/qet/qet/trunk@597 bfdf4180-ca20-0410-9c96-a3a8aa849046
This commit is contained in:
xavier
2009-04-18 18:54:25 +00:00
parent 77672472ec
commit 2b9fa513fb
7 changed files with 21 additions and 13 deletions

View File

@@ -90,7 +90,7 @@ QWidget *PartTerminal::elementInformations() {
@param options Options pour affiner le rendu
@param widget Widget sur lequel le rendu est effectue
*/
void PartTerminal::paint(QPainter *p, const QStyleOptionGraphicsItem *, QWidget *) {
void PartTerminal::paint(QPainter *p, const QStyleOptionGraphicsItem *options, QWidget *) {
p -> save();
// annulation des renderhints
@@ -100,6 +100,7 @@ void PartTerminal::paint(QPainter *p, const QStyleOptionGraphicsItem *, QWidget
QPen t;
t.setWidthF(1.0);
t.setCosmetic(options && options -> levelOfDetail < 1.0);
// dessin de la borne en rouge
t.setColor(isSelected() ? Terminal::couleur_neutre : Qt::red);