From 09c6e8dd47f1500464637ba67fcbfed9f8c2030a Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Thu, 5 Feb 2015 16:11:28 -0500 Subject: [PATCH] set name of GUI event loop thread --- libs/gtkmm2ext/gtk_ui.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc index f90eb09daf..ea04929048 100644 --- a/libs/gtkmm2ext/gtk_ui.cc +++ b/libs/gtkmm2ext/gtk_ui.cc @@ -75,6 +75,8 @@ UI::UI (string namestr, int *argc, char ***argv) { theMain = new Main (argc, argv); + pthread_set_name ("gui"); + _active = false; if (!theGtkUI) {