From c39175e0b56a9660fbce64da6a478a6cac01a789 Mon Sep 17 00:00:00 2001 From: Miroslav Valus Date: Thu, 9 Jul 2015 14:25:34 +0200 Subject: [PATCH] Clear DPU selection after DPU was successfully removed. --- .../mff/xrg/odcs/frontend/gui/views/dpu/DPUPresenterImpl.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/frontend/src/main/java/cz/cuni/mff/xrg/odcs/frontend/gui/views/dpu/DPUPresenterImpl.java b/frontend/src/main/java/cz/cuni/mff/xrg/odcs/frontend/gui/views/dpu/DPUPresenterImpl.java index c820ce9e51..3cf51990d4 100644 --- a/frontend/src/main/java/cz/cuni/mff/xrg/odcs/frontend/gui/views/dpu/DPUPresenterImpl.java +++ b/frontend/src/main/java/cz/cuni/mff/xrg/odcs/frontend/gui/views/dpu/DPUPresenterImpl.java @@ -373,6 +373,8 @@ public void copyDPUEventHandler() { public void deleteDPUEventHandler() { boolean isDeleted = deleteDPU(selectedDpu); if (isDeleted) { + // clear selection + selectedDpu = null; // and refresh the layout view.refresh(); view.selectNewDPU(null);