From 5109b0ce0e80974308fb3d030cdd4f4bdd12c2bf Mon Sep 17 00:00:00 2001 From: Marcus Tillmanns Date: Fri, 15 Sep 2023 09:17:04 +0200 Subject: Docker: Fix default device name Change-Id: I1d7e8dd62a11cf897ebb22389f21370c8a3811cf Reviewed-by: hjk Reviewed-by: --- src/plugins/docker/dockerdevice.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/plugins/docker/dockerdevice.h') diff --git a/src/plugins/docker/dockerdevice.h b/src/plugins/docker/dockerdevice.h index e910031c619..c38a7746dbd 100644 --- a/src/plugins/docker/dockerdevice.h +++ b/src/plugins/docker/dockerdevice.h @@ -19,6 +19,8 @@ class DockerDeviceSettings : public ProjectExplorer::DeviceSettings public: DockerDeviceSettings(); + void fromMap(const Utils::Store &map) override; + QString repoAndTag() const; QString repoAndTagEncoded() const; -- cgit v1.2.3