static void size_allocate_event(GtkWidget *widget, GtkAllocation *allocation, gpointer user_data)
{
// printf("%dx%d\n", allocation->width, allocation->height);
static void size_allocate_event(GtkWidget *widget, GtkAllocation *allocation, gpointer user_data)
{
// printf("%dx%d\n", allocation->width, allocation->height);
- scr_w = allocation->width - 2;
- scr_h = allocation->height - 2;
- scr_changed = 1;
+ if (scr_w != allocation->width - 2 || scr_h != allocation->height - 2) {
+ scr_w = allocation->width - 2;
+ scr_h = allocation->height - 2;
+ scr_changed = 1;
+ }