From 1f7146fbd9ad6edd79419831c16f7d848e7ba366 Mon Sep 17 00:00:00 2001 From: sxhya Date: Sun, 2 Jun 2024 20:14:56 +0200 Subject: [PATCH] Fix move file --- .../org/arend/refactoring/move/ArendMoveHandlerDelegate.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt b/src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt index b22040afa..626cc1a78 100644 --- a/src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt +++ b/src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt @@ -60,7 +60,7 @@ class ArendMoveHandlerDelegate: MoveHandlerDelegate() { } fun checkMoveable(element: PsiElement) = - element is ArendGroup && isMoveableGroup(element) + element is ArendGroup && element !is ArendFile && isMoveableGroup(element) } } \ No newline at end of file