From cfbbbc4440318d83d05df3443bceadb6ebd91e2c Mon Sep 17 00:00:00 2001
From: Akash Yadav <itsaky01@gmail.com>
Date: Wed, 28 Jun 2023 17:10:33 +0530
Subject: [PATCH] fix: editor activity can be accessed even if the tools are
 not installed

---
 .../main/java/com/itsaky/androidide/activities/MainActivity.kt  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/main/java/com/itsaky/androidide/activities/MainActivity.kt b/app/src/main/java/com/itsaky/androidide/activities/MainActivity.kt
index 4fccd0d2d..a16779546 100755
--- a/app/src/main/java/com/itsaky/androidide/activities/MainActivity.kt
+++ b/app/src/main/java/com/itsaky/androidide/activities/MainActivity.kt
@@ -242,7 +242,7 @@ class MainActivity : LimitlessIDEActivity() {
     builder.setPositiveButton(android.R.string.ok) { _, _ -> openTerminal() }
     builder.setNegativeButton(
       android.R.string.cancel) { _, _ -> finishAffinity() }
-    builder.setNeutralButton(string.btn_docs) { _, _ -> app.openDocs() }
+    builder.setNeutralButton(string.btn_docs) { _, _ -> app.openDocs(); finishAffinity() }
     builder.show()
   }