/** Tells the panel that it needs to reload its android content and repaint it. */
 public void invalidateGraphicsRenderer() {
   myAndroidPreviewPanel.invalidateGraphicsRenderer();
   myAndroidPreviewPanel.repaint();
 }