}-*/;
private void setShinyViewerType(int viewerType)
{
UIPrefs prefs = pPrefs_.get();
prefs.shinyViewerType().setGlobalValue(viewerType);
prefs.writeUIPrefs();
server_.setShinyViewerType(viewerType, new VoidServerRequestCallback());
}
private void launchShinyAppDir(String dir)