Fix #3017 (Renaming a workspace fails)

AndBible · Nov 9, 2023 · a713066 · a713066
1 parent e34978a
commit a713066
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/app/src/main/java/net/bible/android/view/activity/workspaces/WorkspaceSelectorActivity.kt b/app/src/main/java/net/bible/android/view/activity/workspaces/WorkspaceSelectorActivity.kt
@@ -341,6 +341,7 @@ class WorkspaceSelectorActivity: ActivityBase() {
                 AlertDialog.Builder(this@WorkspaceSelectorActivity)
                     .setPositiveButton(R.string.okay) { d, _ ->
                         workspace.name = name.text.toString()
+                        changedWorkspaces.add(workspace.id)
                         workspaceAdapter.notifyItemChanged(position)
                     }
                     .setView(name)