/*
* ApplicationEndedPopupPanel.java
*
* Copyright (C) 2009-12 by RStudio, Inc.
*
* Unless you have received this program directly from RStudio pursuant
* to the terms of a commercial license agreement with RStudio, then
* this program is licensed to you under the terms of version 3 of the
* GNU Affero General Public License. This program is distributed WITHOUT
* ANY EXPRESS OR IMPLIED WARRANTY, INCLUDING THOSE OF NON-INFRINGEMENT,
* MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Please refer to the
* AGPL (http://www.gnu.org/licenses/agpl-3.0.txt) for more details.
*
*/
package org.rstudio.studio.client.application.ui.appended;
import com.google.gwt.core.client.GWT;
import com.google.gwt.core.client.RunAsyncCallback;
import com.google.gwt.dom.client.NativeEvent;
import com.google.gwt.event.dom.client.ClickEvent;
import com.google.gwt.event.dom.client.ClickHandler;
import com.google.gwt.event.dom.client.KeyCodes;
import com.google.gwt.resources.client.ClientBundle;
import com.google.gwt.resources.client.CssResource;
import com.google.gwt.resources.client.ImageResource;
import com.google.gwt.resources.client.ImageResource.ImageOptions;
import com.google.gwt.resources.client.ImageResource.RepeatStyle;
import com.google.gwt.uibinder.client.UiBinder;
import com.google.gwt.uibinder.client.UiField;
import com.google.gwt.user.client.Command;
import com.google.gwt.user.client.Event;
import com.google.gwt.user.client.Window;
import com.google.gwt.user.client.ui.*;
import org.rstudio.core.client.widget.CenterPanel;
import org.rstudio.core.client.widget.FocusHelper;
import org.rstudio.studio.client.application.Desktop;
public class ApplicationEndedPopupPanel extends PopupPanel
{
public static void showQuit()
{
asyncShow(QUIT, "", null);
}
public static void showSuicide(String reason)
{
String description = "<p>R encountered a fatal error.";
if (reason.length() > 0)
description += ": " + reason;
description += "</p>The session was terminated.";
asyncShow(SUICIDE, description, null);
}
public static void showDisconnected()
{
String description =
"This browser was disconnected from the R session because another " +
"browser connected (only one browser at a time may be connected " +
"to an RStudio session). You may reconnect using the button below.";
asyncShow(DISCONNECTED, description, null);
}
public static void showOffline()
{
String description =
"RStudio is temporarily offline due to system maintenance. We " +
"apologize for the inconvenience, please try again in a few minutes.";
asyncShow(OFFLINE, description, null);
}
public static void prefetch(Command continuation)
{
asyncShow(PREFETCH, null, continuation);
}
private static void asyncShow(final int mode,
final String description,
final Command continuation)
{
GWT.runAsync(new RunAsyncCallback()
{
public void onFailure(Throwable reason)
{
Window.alert(description);
if (continuation != null)
continuation.execute();
}
public void onSuccess()
{
if (mode == PREFETCH)
return;
new ApplicationEndedPopupPanel(mode, description).center();
if (continuation != null)
continuation.execute();
}
});
}
private static final int PREFETCH = 0 ;
private static final int QUIT = 1 ;
private static final int SUICIDE = 2;
private static final int DISCONNECTED = 3;
private static final int OFFLINE = 4;
private ApplicationEndedPopupPanel(int mode, String description)
{
super(false, false);
setStylePrimaryName(RESOURCES.styles().applicationEndedPopupPanel());
setGlassEnabled(true);
setGlassStyleName(RESOURCES.styles().glass());
// main panel
HorizontalPanel horizontalPanel = new HorizontalPanel();
horizontalPanel.setSpacing(10);
// create widgets and make mode dependent customizations
Image image;
Label captionLabel = new Label();
captionLabel.setStylePrimaryName(RESOURCES.styles().captionLabel());
final FancyButton button = new FancyButton();
button.addClickHandler(new ClickHandler() {
public void onClick(ClickEvent event)
{
reloadApplication();
}
});
FocusHelper.setFocusDeferred(button);
switch(mode)
{
case QUIT:
image = new Image(RESOURCES.applicationQuit());
captionLabel.setText("R Session Ended");
button.setText("Start New Session");
break;
case SUICIDE:
image = new Image(RESOURCES.applicationSuicide());
captionLabel.setText("R Session Aborted");
button.setText("Start New Session");
break;
case DISCONNECTED:
image = new Image(RESOURCES.applicationDisconnected());
captionLabel.setText("R Session Disconnected");
button.setText("Reconnect");
break;
case OFFLINE:
image = new Image(RESOURCES.applicationOffline());
captionLabel.setText("RStudio Temporarily Offline");
button.setText("Reconnect");
break;
default:
throw new IllegalArgumentException("Unknown mode " + mode);
}
// add image
horizontalPanel.add(image);
// captions and button
VerticalPanel contentPanel = new VerticalPanel();
contentPanel.setStylePrimaryName(RESOURCES.styles().contentPanel());
contentPanel.add(captionLabel);
HTML descriptionLabel = new HTML(description);
descriptionLabel.setStylePrimaryName(RESOURCES.styles().descriptionLabel());
contentPanel.add(descriptionLabel);
contentPanel.add(button);
horizontalPanel.add(contentPanel);
// center the horizontal panel within the popup
CenterPanel mainPanel = new CenterPanel(horizontalPanel);
mainPanel.setStylePrimaryName(RESOURCES.styles().mainPanel());
setWidget(((MyUiBinder)GWT.create(MyUiBinder.class)).createAndBindUi(this));
content_.setWidget(mainPanel);
}
@Override
public void onPreviewNativeEvent(Event.NativePreviewEvent event)
{
if (event.getTypeInt() == Event.ONKEYDOWN)
{
NativeEvent nativeEvent = event.getNativeEvent();
switch (nativeEvent.getKeyCode())
{
case KeyCodes.KEY_ENTER:
nativeEvent.preventDefault();
nativeEvent.stopPropagation();
reloadApplication();
break;
}
}
}
private void reloadApplication()
{
if (Desktop.isDesktop())
{
Desktop.getFrame().launchSession(true);
}
else
{
Window.Location.reload();
}
}
static interface Styles extends CssResource
{
String applicationEndedPopupPanel();
String glass();
String mainPanel();
String contentPanel();
String captionLabel();
String descriptionLabel();
String NW();
String N();
String NE();
String W();
String C();
String E();
String SW();
String S();
String SE();
}
static interface Resources extends ClientBundle
{
@Source("ApplicationEndedPopupPanel.css")
Styles styles();
ImageResource applicationQuit();
ImageResource applicationSuicide();
ImageResource applicationDisconnected();
ImageResource applicationOffline();
ImageResource panelTopLeft();
@ImageOptions(repeatStyle = RepeatStyle.Horizontal)
ImageResource panelTop();
ImageResource panelTopRight();
@ImageOptions(repeatStyle = RepeatStyle.Vertical)
ImageResource panelLeft();
@ImageOptions(repeatStyle = RepeatStyle.Vertical)
ImageResource panelRight();
ImageResource panelBottomLeft();
@ImageOptions(repeatStyle = RepeatStyle.Horizontal)
ImageResource panelBottom();
ImageResource panelBottomRight();
}
interface MyUiBinder extends UiBinder<Widget, ApplicationEndedPopupPanel> {}
static Resources RESOURCES = (Resources)GWT.create(Resources.class);
public static void ensureStylesInjected()
{
RESOURCES.styles().ensureInjected();
}
@UiField
SimplePanel content_;
}