/ Ruby
/
method

push_workspace

v1_9_2_180 - Show latest stable - Class: IRB::Context
push_workspace(*_main)
public

No documentation available.

# File lib/irb/ext/workspaces.rb, line 27
    def push_workspace(*_main)
      if _main.empty?
        if workspaces.empty?
          print "No other workspace\n"
          return nil
        end
        ws = workspaces.pop
        workspaces.push @workspace
        @workspace = ws
        return workspaces
      end

      workspaces.push @workspace
      @workspace = WorkSpace.new(@workspace.binding, _main[0])
      if !(class<<main;ancestors;end).include?(ExtendCommandBundle)
        main.extend ExtendCommandBundle
      end
    end