set name of GUI event loop thread

diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc
index df7ec96324c7c71dc37d010efd1eb32d1d1ed265..a47450cf4f62830442f0892a0da451d0a0ea2e0d 100644 (file)
--- 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) {