src/main/kotlin/org/arend/injection/actions/HideImplicitInformationAction.kt [12:20]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun getActionUpdateThread(): ActionUpdateThread = ActionUpdateThread.BGT

    override fun update(e: AnActionEvent) {
        e.presentation.isEnabledAndVisible = e.getData(PlatformDataKeys.EDITOR)?.isDetailedViewEditor() ?: false
    }

    override fun actionPerformed(e: AnActionEvent) {
        val editor = e.getData(PlatformDataKeys.EDITOR) ?: return
        val injectedEditor = editor.getUserData(InjectedArendEditor.AREND_GOAL_EDITOR) ?: return
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



src/main/kotlin/org/arend/injection/actions/RevealImplicitInformationAction.kt [12:20]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun getActionUpdateThread(): ActionUpdateThread = ActionUpdateThread.BGT

    override fun update(e: AnActionEvent) {
        e.presentation.isEnabledAndVisible = e.getData(PlatformDataKeys.EDITOR)?.isDetailedViewEditor() ?: false
    }

    override fun actionPerformed(e: AnActionEvent) {
        val editor = e.getData(PlatformDataKeys.EDITOR) ?: return
        val injectedEditor = editor.getUserData(InjectedArendEditor.AREND_GOAL_EDITOR) ?: return
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -