src/main/kotlin/org/arend/actions/mark/ArendMarkSourceRootAction.kt [8:17]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun update(e: AnActionEvent) {
        if (isNotOtherDirectoryType(e)) {
            e.presentation.isEnabledAndVisible = true
            super.update(e)
        } else {
            e.presentation.isEnabledAndVisible = false
        }
    }

    override fun actionPerformed(e: AnActionEvent) {
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



src/main/kotlin/org/arend/actions/mark/ArendMarkTestSourceRootAction.kt [8:17]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun update(e: AnActionEvent) {
        if (isNotOtherDirectoryType(e)) {
            e.presentation.isEnabledAndVisible = true
            super.update(e)
        } else {
            e.presentation.isEnabledAndVisible = false
        }
    }

    override fun actionPerformed(e: AnActionEvent) {
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -