Example #1
0
    def create_window(self, profile=None, command=None):
        """Creates a new window.

    Arguments;
      profile: The name of the profile to use for the window's first session. If None, the default profile will be used.
      command: A command to run in lieu of the default command or login shell, if not None.
    """
        return window.FutureWindow(get_socket().request_create_tab(
            profile=profile, window=None, index=None, command=command))
Example #2
0
 def split_pane(self, vertical=False, before=False, profile=None):
   return FutureSession(get_socket().request_split_pane(
     session=self.session_id, vertical=vertical, before=before, profile=profile))
Example #3
0
 def send_text(self, text):
   return TextSender(get_socket().request_send_text(self.session_id, text))
Example #4
0
 def create_inner(response):
   return get_socket().request_split_pane(
       session=self.get_session_id(), vertical=vertical, before=before, profile=profile)
Example #5
0
 def create_inner(response):
   return get_socket().request_send_text(self.get_session_id(), text)
Example #6
0
 def _refresh(self):
     logging.debug("Refreshing hierarchy")
     self.future = get_socket().request_hierarchy()
Example #7
0
def run(function):
  function()
  sharedstate.get_socket().finish()
Example #8
0
 def create_tab(self, profile=None, command=None, index=None):
   return tab.FutureTab(get_socket().request_create_tab(
     profile=profile, window=self.window_id, index=index, command=command))
Example #9
0
 def create_inner(response):
   return get_socket().request_create_tab(
       profile=profile, window=self.get_window_id(), index=index, command=command)