Ensure cards table has focus after clicking random card button.

src/magic/ui/screen/card/explorer/ExplorerContentPanel.java

@@ -126,6 +126,7 @@ public class ExplorerContentPanel extends JPanel
 
     public void selectRandomCard() {
         cardPoolTable.selectRandomCard();
+        cardPoolTable.requestFocus();
     }
 
     void setCardsTableStyle() {

src/magic/ui/widget/cards/table/CardsTablePanel.java

@@ -151,4 +151,9 @@ abstract class CardsTablePanel extends TexturedPanel {
             reselectLastCards();
         }
     }
+
+    @Override
+    public void requestFocus() {
+        table.requestFocus();
+    }
 }