# HG changeset patch
# User dirk
# Date 1317959978 -7200
# Node ID 76b2dafcb1b4533b33b1243184044e8a257ce616
# Parent  8262e3a8ed6f2ef24e4dd6998676ef376e524b62
add a comment why we discard the index here

diff -r 8262e3a8ed6f -r 76b2dafcb1b4 conflict-editor/src/main/java/de/codedo/conflicteditor/gui/ConflictEditor.java
--- a/conflict-editor/src/main/java/de/codedo/conflicteditor/gui/ConflictEditor.java	Fri Oct 07 05:55:30 2011 +0200
+++ b/conflict-editor/src/main/java/de/codedo/conflicteditor/gui/ConflictEditor.java	Fri Oct 07 05:59:38 2011 +0200
@@ -97,6 +97,8 @@
             @Override
             protected void execute(int index) throws Exception
             {
+                // do not use the selection here ... it is wrong in case the selection is cleared in
+                // the list
                 selectConflictDocument();
             }
         };