From b585bf0ab1aac5e5355ebed708b5fccdd4aa2e1e Mon Sep 17 00:00:00 2001
From: Sergey Linev <S.Linev@gsi.de>
Date: Fri, 24 Aug 2018 16:16:34 +0200
Subject: [PATCH] webgui: make IsMainThrd private
---
gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx b/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx
index 65aa2e59bb6..b157bdaffb2 100644
--- a/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx
+++ b/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx
@@ -69,6 +69,8 @@ private:
int WaitFor(TWebWindow &win, WebWindowWaitFunc_t check, bool timed = false, double tm = -1);
+ static bool IsMainThrd();
+
public:
TWebWindowsManager();
@@ -79,8 +81,6 @@ public:
static std::shared_ptr<TWebWindowsManager> &Instance();
- static bool IsMainThrd();
-
std::shared_ptr<TWebWindow> CreateWindow(bool batch_mode = false);
void Terminate();
--
GitLab