Remove unused parameter

appinventor/appengine/src/com/google/appinventor/client/editor/simple/components/MockForm.java

@@ -1357,10 +1357,6 @@ public TreeItem buildComponentsTree(Integer view) {
     return buildTree(view);
   }
 
-  public Integer getView() {
-    return this.view;
-  }
-
   // PropertyChangeListener implementation
 
   @Override

appinventor/appengine/src/com/google/appinventor/client/explorer/SourceStructureExplorer.java

@@ -68,14 +68,10 @@ public void onBrowserEvent(Event event) {
     }
   }
 
-  public SourceStructureExplorer() {
-    this(true);
-  }
-
   /**
    * Creates a new source structure explorer.
    */
-  public SourceStructureExplorer(boolean includeButtonPanel) {
+  public SourceStructureExplorer() {
     // Initialize UI elements
     tree = new EventCaptureTree(Ode.getImageBundle());
     tree.setAnimationEnabled(true);
@@ -178,12 +174,8 @@ public void onClick(ClickEvent event) {
 
     VerticalPanel panel = new VerticalPanel();
     panel.add(scrollPanel);
-    // TODO([email protected]): With App Inventor's current layout, as of now this is the only place to
-    //  render these buttons...
-    // if (includeButtonPanel) {
-      panel.add(new Label());
-      panel.add(buttonPanel);
-    // }
+    panel.add(new Label());
+    panel.add(buttonPanel);
     panel.setCellHorizontalAlignment(buttonPanel, HorizontalPanel.ALIGN_CENTER);
     initWidget(panel);
   }