Label of deck deletion icon becomes "Delete deck"

It used to be "Deleting deck…" which was not appropriate for a button.

Author: Arthur-Milchior

AnkiDroid/src/main/java/com/ichi2/anki/DeckPicker.kt

@@ -1205,6 +1205,7 @@ open class DeckPicker :
             }
             R.id.action_deck_delete -> {
                 launchCatchingTask {
+                    // The progress message is actually "Deleting deck" and not "delete deck" as indicated by the resource name.
                     withProgress(resources.getString(R.string.delete_deck)) {
                         viewModel.deleteSelectedDeck().join()
                     }
@@ -2430,6 +2431,7 @@ open class DeckPicker :
      */
     fun deleteDeck(did: DeckId) =
         launchCatchingTask {
+            // The progress message is actually "Deleting deck" and not "delete deck" as indicated by the resource name.
             withProgress(resources.getString(R.string.delete_deck)) {
                 viewModel.deleteDeck(did).join()
             }

AnkiDroid/src/main/res/menu-xlarge/deck_picker.xml

@@ -22,7 +22,7 @@
     <item
         android:id="@+id/action_deck_delete"
         android:icon="@drawable/ic_delete_white"
-        android:title="@string/delete_deck"
+        android:title="@string/contextmenu_deckpicker_delete_deck"
         app:showAsAction="always"/>
     <item
         android:id="@+id/action_undo"

AnkiDroid/src/main/res/values/02-strings.xml

@@ -114,7 +114,7 @@
     <string name="check_media" maxLength="28">Check media</string>
     <string name="empty_cards" maxLength="28">Empty cards</string>
     <string name="unknown_type_field_warning">Type answer: unknown field %s</string>
-    <string name="delete_deck">Deleting deck…</string>
+    <string name="delete_deck" comment="Message on a progress bar starting a deck is being deleted.">Deleting deck…</string>
 
     <string name="info_rate">Rate AnkiDroid</string>
     <string name="import_title">Importing</string>