From d99188384dbede308f3c011ee15f0a62858f2a9c Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Fri, 28 Apr 2017 15:41:03 +0200
Subject: Add option to make pvs box checked by default

Refs #3105
---
 src/globals.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/globals.h')

diff --git a/src/globals.h b/src/globals.h
index 5acd561..d5248dc 100644
--- a/src/globals.h
+++ b/src/globals.h
@@ -24,6 +24,7 @@ class Session;
 
 extern bool debugMode;
 extern bool g_pvsEnabled;
+extern bool g_pvsChecked;
 extern int g_autoQuitSeconds;
 extern bool g_allowVmEdit;
 
-- 
cgit v1.2.3-55-g7522