Delete related dumps when dropping a database from menu

scripts/menu.pl

@@ -1193,6 +1193,22 @@ my %handlers = (
           map { s/(.*?)\s+\(.+\)$/$1/r } @selected_dbs;
 
         Mars::db_drop($_) for @selected_dbs;
+
+        # Collect the corresponding dumps
+        my @dumps;
+        foreach my $db (@selected_dbs) {
+            my $dump = $db =~ s/:/-/gr;
+            push @dumps, "$dump.sql" if -f "$local_dump_dir/$dump.sql";
+        }
+
+        # Ask which dumps to delete as well
+        if (@dumps) {
+            my @selected_dumps =
+              TUI::select_from_list( "Also delete corresponding dumps?", 1,
+                @dumps );
+
+            system( 'rm', '-f', "$local_dump_dir/$_" ) for @selected_dumps;
+        }
     },
 );