1<!DOCTYPE ui:UiBinder SYSTEM "http://dl.google.com/gwt/DTD/xhtml.ent">
2<ui:UiBinder xmlns:ui="urn:ui:com.google.gwt.uibinder"
3   xmlns:g="urn:import:com.google.gwt.user.client.ui">
4   <ui:style>
5   .host
6   {
7      margin-top: 20px;
8   }
9
10   .warning
11   {
12      font-weight: 400;
13      margin-top: 10px;
14      margin-bottom: 10px;
15   }
16
17   .host button
18   {
19      margin-left: 5px;
20      margin-right: 5px;
21      border: none;
22      border-radius: 4px;
23      color: white;
24      background-color: #767676;
25      padding-top: 3px;
26      padding-bottom: 3px;
27      padding-left: 6px;
28      padding-right: 6px;
29      display: inline-block;
30   }
31
32   .status
33   {
34      margin-top: 20px;
35      font-style: italic;
36      color: #a0a0a0;
37   }
38   </ui:style>
39   <g:HTMLPanel styleName="{style.host}">
40      <g:Label styleName="{style.warning}" text="R is taking longer to start than usual."
41               ui:field="visibleMsg_"></g:Label>
42      <g:VerticalPanel>
43         <g:HorizontalPanel>
44            <g:Button text="Reload" ui:field="reload_"></g:Button>
45            <g:Button text="Safe Mode" ui:field="safeMode_"></g:Button>
46            <g:Button text="Terminate R" ui:field="terminate_"></g:Button>
47         </g:HorizontalPanel>
48      </g:VerticalPanel>
49      <g:Label styleName="{style.status}" ui:field="status_"></g:Label>
50   </g:HTMLPanel>
51</ui:UiBinder>
52