diff options
| author | Johann Latocha | 2011-06-04 14:30:35 +0200 |
|---|---|---|
| committer | Johann Latocha | 2011-06-04 14:30:35 +0200 |
| commit | 7f19c23c52c8ff5ca29977e5e14b79805efa7d6a (patch) | |
| tree | 06ed43c973fd8a547a8221ca37450e1ab75b36c5 /misc | |
| parent | Enhancement #833 (diff) | |
| download | pvs-7f19c23c52c8ff5ca29977e5e14b79805efa7d6a.tar.gz pvs-7f19c23c52c8ff5ca29977e5e14b79805efa7d6a.tar.xz pvs-7f19c23c52c8ff5ca29977e5e14b79805efa7d6a.zip | |
[PVSGUI] Visibility of balloon messages is now configurable (default is false)
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/pvsgui.conf | 2 |
1 files changed, 1 insertions, 1 deletions
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 |