Make rectangles have pointy corners

This only makes a difference in HiDpi mode.

Adaptation of the patch proposed by Daniel.

Fix for bug #12336.

(cherry picked from commit 3cdfb42cce)
This commit is contained in:
Jean-Marc Lasgouttes 2021-09-27 17:46:38 +02:00 committed by Richard Kimberly Heck
parent e9a5dd741e
commit 75108675ba
2 changed files with 6 additions and 3 deletions

View File

@ -67,7 +67,7 @@ GuiPainter::~GuiPainter()
void GuiPainter::setQPainterPen(QColor const & col,
Painter::line_style ls, int lw)
Painter::line_style ls, int lw, Qt::PenJoinStyle js)
{
if (col == current_color_ && ls == current_ls_ && lw == current_lw_)
return;
@ -89,6 +89,8 @@ void GuiPainter::setQPainterPen(QColor const & col,
pen.setWidth(lw);
pen.setJoinStyle(js);
setPen(pen);
}
@ -266,7 +268,7 @@ void GuiPainter::rectangle(int x, int y, int w, int h,
line_style ls,
int lw)
{
setQPainterPen(computeColor(col), ls, lw);
setQPainterPen(computeColor(col), ls, lw, Qt::MiterJoin);
drawRect(x, y, w, h);
}

View File

@ -179,7 +179,8 @@ private:
/// set pen parameters
void setQPainterPen(QColor const & col,
line_style ls = line_solid, int lw = thin_line);
line_style ls = line_solid, int lw = thin_line,
Qt::PenJoinStyle js = Qt::BevelJoin);
// Direction for painting text
enum Direction { LtR, RtL, Auto };