Fix scrollbar and HTML visibility in Project Properties Dialog

Change-Id: If4c6cfdc1c410b3a94ad1d5c7ba8b49a61188b5c

appinventor/appengine/src/com/google/appinventor/client/TopToolbar.java

@@ -304,6 +304,7 @@ public class TopToolbar extends Composite {
       fileDropDown.setItemEnabled(MESSAGES.saveMenuItem(), false);
       fileDropDown.setItemEnabled(MESSAGES.saveAsMenuItem(), false);
       fileDropDown.setItemEnabled(MESSAGES.checkpointMenuItem(), false);
+      fileDropDown.setItemEnabled(MESSAGES.projectPropertiesMenuItem(), false);
       buildDropDown.setItemEnabled(MESSAGES.showExportAndroidApk(), false);
       buildDropDown.setItemEnabled(MESSAGES.showExportAndroidAab(), false);
       if (Ode.getInstance().hasSecondBuildserver()) {
@@ -319,6 +320,7 @@ public class TopToolbar extends Composite {
       fileDropDown.setItemEnabled(MESSAGES.saveMenuItem(), true);
       fileDropDown.setItemEnabled(MESSAGES.saveAsMenuItem(), true);
       fileDropDown.setItemEnabled(MESSAGES.checkpointMenuItem(), true);
+      fileDropDown.setItemEnabled(MESSAGES.projectPropertiesMenuItem(), true);
       buildDropDown.setItemEnabled(MESSAGES.showExportAndroidApk(), true);
       buildDropDown.setItemEnabled(MESSAGES.showExportAndroidAab(), true);
       if (Ode.getInstance().hasSecondBuildserver()) {

appinventor/appengine/src/com/google/appinventor/client/TopToolbar.ui.xml

@@ -43,7 +43,7 @@
       <ai:DropDownItem name="Checkpoint" caption="{messages.checkpointMenuItem}" visible="{hasWriteAccess}">
         <actions:CheckpointAction />
       </ai:DropDownItem>
-      <ai:DropDownItem name="ProjectProperties" caption="{messages.projectPropertiesMenuItem}">
+      <ai:DropDownItem name="ProjectProperties" caption="{messages.projectPropertiesMenuItem}" visible="{hasWriteAccess}">
         <yaactions:ProjectPropertiesAction />
       </ai:DropDownItem>
       <hr />

appinventor/appengine/src/com/google/appinventor/client/explorer/dialogs/ProjectPropertiesDialogBox.java

@@ -24,6 +24,7 @@ import com.google.gwt.uibinder.client.UiField;
 import com.google.gwt.uibinder.client.UiHandler;
 import com.google.gwt.user.client.ui.Button;
 import com.google.gwt.user.client.ui.DeckPanel;
+import com.google.gwt.user.client.ui.HTML;
 import com.google.gwt.user.client.ui.Label;
 import com.google.gwt.user.client.ui.ListBox;
 import com.google.gwt.user.client.ui.FlowPanel;
@@ -168,7 +169,7 @@ public class ProjectPropertiesDialogBox {
       name.setStyleName("ode-propertyDialogPropertyTitle");
 
       // Description of the property
-      Label description = new Label(ComponentsTranslation.getPropertyDescription(property.getDescription()));
+      HTML description = new HTML(ComponentsTranslation.getPropertyDescription(property.getDescription()));
       description.setStyleName("ode-propertyDialogPropertyDescription");
 
       // editor of the editor

appinventor/appengine/war/static/css/Ya.css

@@ -1663,6 +1663,7 @@ path.ode-SimpleMockMapFeature-selected {
   border-right: 2px solid black;
   padding-right: 20px;
   outline: none;
+  overflow: auto;
 }
 
 .ode-propertyDialogPropertiesScrollPanel {