chore: add issue data to todo

sillydan1 · Feb 18, 2024 · eb5c0f2 · eb5c0f2
1 parent 90a6b82
commit eb5c0f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/java/dk/gtz/graphedit/view/ModelEditorController.java b/core/src/main/java/dk/gtz/graphedit/view/ModelEditorController.java
@@ -218,7 +218,7 @@ public void onMouseEvent(MouseEvent e) {
      * @param e The key event to handle.
      */
     public void onKeyEvent(KeyEvent e) {
-	// TODO: the "isTargetDrawpane" field solution is hacky and doesnt work in detached tabs. It should be fixed
+	// TODO: the "isTargetDrawpane" field solution is hacky and doesnt work in detached tabs. It should be fixed, see https://github.com/sillydan1/graphedit/issues/17
 	var isTargetDrawpane = e.getTarget() == getParent().getParent();
 	var keyEvent = new ViewportKeyEvent(e, drawGroupTransform, isTargetDrawpane, syntaxFactory, resource.syntax(), bufferKey, settings);
 	DI.get(IToolbox.class).getSelectedTool().get().onKeyEvent(keyEvent);