320321322323324325326
DesktopFrame.PENDING_QUIT_AND_EXIT); } server_.handleUnsavedChangesCompleted( handled_, new VoidServerRequestCallback()); }
49505152535455
public void writeUIPrefs() { server_.setUiPrefs( session_.getSessionInfo().getUiPrefs(), new VoidServerRequestCallback()); }
131132133134135136137138139
protected void performAction(boolean shouldSchedulePassive) { assert !shouldSchedulePassive; server_.setWorkbenchMetrics(lastWorkbenchMetrics_, new VoidServerRequestCallback()); } }; }
344345346347348349350351352353354
indicator.onProgress("Saving File..."); server_.copyFile(sourceFile, targetFile, true, new VoidServerRequestCallback(indicator)); savePreviewDir_ = targetFile.getParentPathString(); session_.persistClientState(); } });
412413414415416417418
return isPublished_; } private void terminateRunningPreview() { server_.terminatePreviewHTML(new VoidServerRequestCallback()); }
526527528529530531532533534
params.getAnchor()); // if this is a Shiny document, stop the associated process if (params.isShinyDocument() && !restarting_) { server_.terminateRenderRmd(true, new VoidServerRequestCallback()); } shinyDoc_ = null; }
773774775776777778779780781782
// confusing. } }); } server_.removeAllBreakpoints(new VoidServerRequestCallback()); notifyBreakpointsSaved(new ArrayList<Breakpoint>(breakpoints_), false); breakpoints_.clear(); onBreakpointAddOrRemove(); }
790791792793794795796
private void notifyServer(Breakpoint breakpoint, boolean added, boolean arm) { ArrayList<Breakpoint> bps = new ArrayList<Breakpoint>(); bps.add(breakpoint); server_.updateBreakpoints(bps, added, arm, new VoidServerRequestCallback()); }
251252253254255256257
private void setShinyViewerType(int viewerType) { UIPrefs prefs = pPrefs_.get(); prefs.shinyViewerType().setGlobalValue(viewerType); prefs.writeUIPrefs(); server_.setShinyViewerType(viewerType, new VoidServerRequestCallback()); }
195196197198199200201202203204205
{ // if an upload is in progress then terminate it if (uploadInProgress_) { server_.rpubsTerminateUpload(contextId_, new VoidServerRequestCallback()); if (uploadProgressWindow_ != null) uploadProgressWindow_.close(); } }