Make rectangles have pointy corners

This only makes a difference in HiDpi mode.

Adaptation of the patch proposed by Daniel.

Fix for bug #12336.
This commit is contained in:
Jean-Marc Lasgouttes 2021-09-27 17:46:38 +02:00
parent 69834f1e0d
commit 3cdfb42cce
2 changed files with 6 additions and 3 deletions

View File

@ -57,7 +57,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;
@ -79,6 +79,8 @@ void GuiPainter::setQPainterPen(QColor const & col,
pen.setWidth(lw);
pen.setJoinStyle(js);
setPen(pen);
}
@ -210,7 +212,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

@ -185,7 +185,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 };