<ui:UiBinder xmlns:ui="urn:ui:com.google.gwt.uibinder"
   xmlns:g="urn:import:com.google.gwt.user.client.ui"
   ui:generateFormat='com.google.gwt.i18n.server.PropertyCatalogFactory'
   ui:generateKeys="com.google.gwt.i18n.server.keygen.MD5KeyGenerator"
   ui:generateLocales="default">
   <ui:style>
   @eval THEME_MUTED_GRAY org.rstudio.core.client.theme.ThemeColors.mutedGray;
   @def sectionSpacing 20px;

   .host
   {
      margin-top: sectionSpacing;
   }
   
   .warning
   {
      font-weight: 400;
      margin-top: 10px;
      margin-bottom: 10px;
   }
   
   .host button
   {
      margin-left: 5px;
      margin-right: 5px;
      border: none;
      border-radius: 4px;
      color: white;
      background-color: #767676;
      padding-top: 3px;
      padding-bottom: 3px;
      padding-left: 6px;
      padding-right: 6px;
      display: inline-block;
   }
   
   .status
   {
      margin-top: sectionSpacing;
      font-style: italic;
      color: THEME_MUTED_GRAY;
   }
   </ui:style>
   <g:HTMLPanel styleName="{style.host}">
      <g:Label styleName="{style.warning}" text="R is taking longer to start than usual."
               ui:field="visibleMsg_"><ui:attribute name="text" key="takingLongerToStart"/></g:Label>
      <g:VerticalPanel>
         <g:HorizontalPanel>
            <g:Button text="Reload" ui:field="reload_"><ui:attribute name="text" key="reloadText"/></g:Button>
            <g:Button text="Safe Mode" ui:field="safeMode_"><ui:attribute name="text" key="safeModeText"/></g:Button>
            <g:Button text="Terminate R" ui:field="terminate_"><ui:attribute name="text" key="terminateRText"/></g:Button>
         </g:HorizontalPanel>
      </g:VerticalPanel>
      <g:Label styleName="{style.status}" ui:field="status_"></g:Label>
   </g:HTMLPanel>
</ui:UiBinder> 
