Fix Fl_GDI_Graphics_Driver::point_unscaled() so points are also enlarged when scaling increases.

git-svn-id: file:///fltk/svn/fltk/branches/branch-1.4@12294 ea41ed52-d2ee-0310-a9c1-e6b18d33e121
This commit is contained in:
Manolo Gouy 2017-07-07 08:09:31 +00:00
parent 9d024ceb7e
commit 90f2bba62b

View File

@ -35,8 +35,12 @@
// --- line and polygon drawing with integer coordinates
void Fl_GDI_Graphics_Driver::point_unscaled(float x, float y) {
SetPixel(gc_, x, y, fl_RGB());
void Fl_GDI_Graphics_Driver::point_unscaled(float fx, float fy) {
int width = scale_ >= 1 ? scale_ : 1;
RECT rect;
rect.left = fx; rect.top = fy;
rect.right = fx + width; rect.bottom = fy + width;
FillRect(gc_, &rect, fl_brush());
}
void Fl_GDI_Graphics_Driver::rect_unscaled(float x, float y, float w, float h) {