public class ProjectGeneralPreferencesPane extends ProjectPreferencesPane
{
@Inject
public ProjectGeneralPreferencesPane()
{
Grid grid = new Grid(4, 2);
grid.addStyleName(RESOURCES.styles().workspaceGrid());
grid.setCellSpacing(8);
Label infoLabel = new Label("Use (Default) to inherit the global default setting");
infoLabel.addStyleName(PreferencesDialogBaseResources.INSTANCE.styles().infoLabel());
grid.setWidget(0, 0, infoLabel);
// restore workspace
grid.setWidget(1, 0, new Label("Restore .RData into workspace at startup"));
grid.setWidget(1, 1, restoreWorkspace_ = new YesNoAskDefault(false));
// save workspace
grid.setWidget(2, 0, new Label("Save workspace to .RData on exit"));
grid.setWidget(2, 1, saveWorkspace_ = new YesNoAskDefault(true));
// always save history
grid.setWidget(3, 0, new Label("Always save history (even if not saving .RData)"));
grid.setWidget(3, 1, alwaysSaveHistory_ = new YesNoAskDefault(false));
add(grid);
}