mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 07:49:44 +08:00
fix: editor activity can be accessed even if the tools are not installed
This commit is contained in:
@@ -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()
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user