From 52e2b28846c38cd50fac42c424695dadeb3138ee Mon Sep 17 00:00:00 2001
From: Martin Schultz <Martin.Schultz@rwth-aachen.de>
Date: Tue, 18 Jul 2017 10:15:42 +0200
Subject: [PATCH] added getter and seter implementation for coreProfile option

---
 common/GlobalOptions.cc | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/common/GlobalOptions.cc b/common/GlobalOptions.cc
index af9c6cc3..da3927d8 100644
--- a/common/GlobalOptions.cc
+++ b/common/GlobalOptions.cc
@@ -377,6 +377,16 @@ bool stereo( ) {
   return stereo_;
 }
 
+/// Store opengl core profile setting
+void coreProfile( bool _enableCoreProfile ) {
+  coreProfile_ = _enableCoreProfile;
+}
+
+/// get opengl core profile setting
+bool coreProfile( ) {
+  return coreProfile_;
+}
+
 /// Store opengl stereo mode setting
 void glStereo( bool _glStereo ) {
   glStereo_ = _glStereo;
-- 
GitLab