From 7966c42ecb77fd5d1e885cdb4770d4c1235a0a44 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Moritz=20=27Morty=27=20Str=C3=BCbe?= Date: Mon, 28 Nov 2022 18:28:39 +0100 Subject: [PATCH] Bug: Docker: Save correct docker image name When the docker image was not locally available the name of the image was not correctly saved --- .../cdt/internal/docker/launcher/ContainerPropertyTab.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/launch/org.eclipse.cdt.docker.launcher/src/org/eclipse/cdt/internal/docker/launcher/ContainerPropertyTab.java b/launch/org.eclipse.cdt.docker.launcher/src/org/eclipse/cdt/internal/docker/launcher/ContainerPropertyTab.java index b0d11d06170..68dbbcded89 100644 --- a/launch/org.eclipse.cdt.docker.launcher/src/org/eclipse/cdt/internal/docker/launcher/ContainerPropertyTab.java +++ b/launch/org.eclipse.cdt.docker.launcher/src/org/eclipse/cdt/internal/docker/launcher/ContainerPropertyTab.java @@ -310,7 +310,7 @@ public class ContainerPropertyTab extends AbstractCBuildPropertyTab final String nimg = currentText.substring(0, e.start) + e.text + currentText.substring(e.end); var t = displayedImages.stream().filter(x -> x.repoTags().contains(nimg)).findAny().orElse(null); // Set to 0 if it does not exist - setImageId(imageCombo.getText()); + setImageId(nimg); model.setSelectedImage(t); } });