From 7f19c23c52c8ff5ca29977e5e14b79805efa7d6a Mon Sep 17 00:00:00 2001 From: Johann Latocha Date: Sat, 4 Jun 2011 14:30:35 +0200 Subject: [PVSGUI] Visibility of balloon messages is now configurable (default is false) --- misc/pvsgui.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'misc') diff --git a/misc/pvsgui.conf b/misc/pvsgui.conf index 9725bf5..a0171eb 100644 --- a/misc/pvsgui.conf +++ b/misc/pvsgui.conf @@ -1,3 +1,3 @@ [Display] location=1 - +showmsgs=false -- cgit v1.2.3-55-g7522