ProjectExplorer: Respect pinned documents

...when closing the files of a project.
Also remove unused member IDocumentPrivate::pinned.
Amends fe21a7a77e.

Change-Id: I15fa06bcde2022c559c4bd7234625c5ea06ba26e
Reviewed-by: Eike Ziller <eike.ziller@qt.io>
This commit is contained in:
Christian Kandeler
2019-06-21 14:28:00 +02:00
parent a540216549
commit 7ceadd4c3f
2 changed files with 5 additions and 6 deletions

View File

@@ -79,7 +79,6 @@ public:
bool hasWriteWarning = false;
bool restored = false;
bool isSuspendAllowed = false;
bool pinned = false;
};
} // namespace Internal