Diff

Differences From Artifact [0ce3da22e3]:

To Artifact [0e5c8b6e44]:


782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
	for (i = start; i < end; i++)
	    printf(" %02x", (unsigned char) output[i]);
	printf("\n");
#endif

	ldisc_send(output+start, end-start, 1);
	show_mouseptr(0);
	seen_key_event = 1;
	term_out();
    }

    return TRUE;
}

gint button_event(GtkWidget *widget, GdkEventButton *event, gpointer data)







|







782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
	for (i = start; i < end; i++)
	    printf(" %02x", (unsigned char) output[i]);
	printf("\n");
#endif

	ldisc_send(output+start, end-start, 1);
	show_mouseptr(0);
	term_seen_key_event();
	term_out();
    }

    return TRUE;
}

gint button_event(GtkWidget *widget, GdkEventButton *event, gpointer data)