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



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