mirror
/
sane-project-frontends
kopia lustrzana https://gitlab.com/sane-project/frontends
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Refreshment of the selection

merge-requests/6/head
Ordissimo 2023-02-09 23:03:46 +01:00
rodzic e0c0515510
commit 3444317484
1 zmienionych plików z 3 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

4
src/preview.c
Wyświetl plik

@ -172,7 +172,7 @@ draw_rect(cairo_t *cr, double coord[4])
y = coord[3];
h = -h;
}
cairo_set_line_width(cr, 0.5);
cairo_set_line_width(cr, 1.5);
const double dashes1[2] = {4.0, 4.0};
cairo_set_source_rgb (cr, 0, 0, 0);
cairo_set_dash(cr, dashes1, sizeof(dashes1)/sizeof(dashes1[0]), 0);
@ -456,6 +456,7 @@ preview_area_resize (GtkWidget * widget, GdkEventConfigure *event, gpointer data
update_selection (p);
paint_image (p);
gtk_widget_queue_draw (p->window);
}
static void
@ -1531,6 +1532,7 @@ preview_update (Preview * p)
restore_preview_image (p);
}
update_selection (p);
gtk_widget_queue_draw (p->window);
}
void