Examples of EnvironmentContextData

Examples of org.rstudio.studio.client.workbench.views.environment.model.EnvironmentContextData

66
67
68
69
70
71
72
73
74
75
76
     
      events.addHandler(SessionInitEvent.TYPE, new SessionInitHandler() {
        
         public void onSessionInit(SessionInitEvent sie)
         {
            EnvironmentContextData environmentState =
                  session_.getSessionInfo().getEnvironmentState();
            shim.initialize(environmentState);
         }
      });
   }
View Full Code Here

Examples of org.rstudio.studio.client.workbench.views.environment.model.EnvironmentContextData

82
83
84
85
86
87
88
89
90
91
92
93
94
95
      expandedObjects_ = new ArrayList<String>();
      scrollPosition_ = 0;
      isClientStateDirty_ = false;
      environments_ = null;
      EnvironmentContextData environmentState =
            session.getSessionInfo().getEnvironmentState();
      environmentName_ = environmentState.environmentName();
      environmentIsLocal_ = environmentState.environmentIsLocal();

      EnvironmentPaneResources.INSTANCE.environmentPaneStyle().ensureInjected();
     
      ensureWidget();
   }
View Full Code Here

Examples of org.rstudio.studio.client.workbench.views.environment.model.EnvironmentContextData

462
463
464
465
466
467
468
469
470
471
472
         {
            UiPrefsChangedEvent.Data data = event.getData();
            eventBus_.fireEvent(new UiPrefsChangedEvent(data));
         }
         else if (type.equals(ClientEvent.ContextDepthChanged)) {
            EnvironmentContextData data = event.getData();
            eventBus_.fireEvent(new ContextDepthChangedEvent(data, true));
         }
         else if (type.equals(ClientEvent.HandleUnsavedChanges))
         {
            eventBus_.fireEvent(new HandleUnsavedChangesEvent());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.