Initialisize properly member variables

Instead of using a coverity annotation (that does not work) it is
better to really iinitialize the members of the object, just in case
somebody decides to actually use the DisplayPath() constructor.

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index 8a023726b2f11018f4fd1b3be9709031305abb40..bb8de83dc072ad5d50e07855b11d97b565a7dc0e 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1853,8 +1853,7 @@ void TabWorkArea::closeTab(int index)
 class DisplayPath {
 public:
        /// make vector happy
-       // coverity[UNINIT_CTOR]
-       DisplayPath() {}
+       DisplayPath() : tab_(-1), dottedPrefix_(false) {}
        ///
        DisplayPath(int tab, FileName const & filename)
                : tab_(tab)