Package org.rstudio.core.client

Examples of org.rstudio.core.client.Size

146
147
148
149
150
151
152
153
154
155
  
   protected void setLabel(String text)
   {
      if (BrowseCap.isChrome() || BrowseCap.isCocoaDesktop())
      {
         Size labelSize = DomMetrics.measureHTML(text);
         labelCell_.getStyle().setWidth(labelSize.width + 10, Unit.PX);
      }
      label_.setText(text);
   }
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305
      if (win == null || (!isRefresh && !isChrome))
      {
         // If there's no window yet, or we're switching apps in a browser
         // other than Chrome, do a normal open
         satelliteManager_.openSatellite(ShinyApplicationSatellite.NAME,    
                                         params_, new Size(960,1100));  
      }
      else if (isChrome)
      {
         // we have a window and we're Chrome, so force a close and reopen
         satelliteManager_.forceReopenSatellite(ShinyApplicationSatellite.NAME,
View Full Code Here
36
37
38
39
40
41
42
43
44
45
         public void onShowHTMLPreview(ShowHTMLPreviewEvent event)
         {
            // open the window
            satelliteManager.openSatellite(HTMLPreviewApplication.NAME,    
                                            event.getParams(),
                                            new Size(850,1100));  
           
         } 
      });
   }
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
   protected Widget createMainWidget()
   {
      VerticalPanel mainPanel = new VerticalPanel();   
  
      // enforce maximum initial dimensions based on screen size
      Size maxSize = new Size(Window.getClientWidth() - 100,
                              Window.getClientHeight() - 200);
     
      int width = Math.min(options_.getWidth(), maxSize.width);
      int height = Math.min(options_.getHeight(), maxSize.height);
      
View Full Code Here
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
      if (paneManager_.getConsole().getOffsetWidth() <= 0)
         consoleWidth = lastMetrics_.getConsoleWidth();
     
      // plots size (don't allow negative metrics)
      WorkbenchTabPanel plotPanel = paneManager_.getOwnerTabPanel(Tab.Plots);
      Size deckPanelSize = new Size(
            plotPanel.getOffsetWidth(),
            plotPanel.getOffsetHeight() - ModuleTabLayoutPanel.BAR_HEIGHT);

      Size plotsSize = new Size(
               Math.max(deckPanelSize.width, 0),
               Math.max(deckPanelSize.height - Toolbar.DEFAULT_HEIGHT, 0));
  
      WorkbenchMetrics metrics = WorkbenchMetrics.create(consoleWidth,
                                                         plotsSize.width,
View Full Code Here
445
446
447
448
449
450
451
452
453
454
455
      }
   }
  
   private void setPreviewPanelSize(int width, int height)
   {
      Size maxSize = getMaxSize();
     
      if (width <= maxSize.width && height <= maxSize.height)
      {
         previewPanel_.setVisible(true);
         previewPanel_.setSize((width + IMAGE_INSET) + "px",
View Full Code Here
461
462
463
464
465
466
467
468
      }
   }
  
   private Size getMaxSize()
   {
      return new Size(Window.getClientWidth() - 100,
                      Window.getClientHeight() - 200);
   }
View Full Code Here
26
27
28
29
30
31
32
public class ShowContentDialog extends ModalDialogBase
{
   public ShowContentDialog(String title, String content)
   {
      this(title, content, new Size(0,0));
   }
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
     if (isFixedFont_)
        FontSizer.applyNormalFontSize(htmlContent);
     scrollPanel.setWidget(htmlContent);
     
     // if we don't have a preferred size then size based on content
     Size size = preferredSize_ ;
     if (size.isEmpty())
        size = DomMetrics.measureHTML(content_, styleName_);
                                           
     // compute the widget size and set it
     Size minimumSize = new Size(300, 300);
     size = DomMetrics.adjustedElementSize(size,
                                           minimumSize,
                                           70,   // pad
                                           100); // client margin
     scrollPanel.setSize(size.width + "px", size.height + "px");
View Full Code Here
58
59
60
61
62
63
64
      // compute width (trim to max)
      int width = Math.min(preferredSize.width, screen.getAvailWidth() - 20);
     
      // return size
      return new Size(width, height);
   }
View Full Code Here
TOP

Related Classes of org.rstudio.core.client.Size

  • org.rstudio.core.client.dom.DomMetrics
  • org.rstudio.core.client.layout.ScreenUtils
  • org.rstudio.core.client.widget.ProgressDialog
  • org.rstudio.core.client.widget.ShowContentDialog
  • org.rstudio.studio.client.application.ui.ApplicationAgreementDialog
  • org.rstudio.studio.client.common.satellite.SatelliteManager
  • org.rstudio.studio.client.common.zoom.ZoomUtils
  • org.rstudio.studio.client.htmlpreview.HTMLPreview
  • org.rstudio.studio.client.rmarkdown.model.RmdPreviewParams
  • org.rstudio.studio.client.shiny.ShinyApplication
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.