source: extensions/gsdl-video/trunk/installed/cmdline/lib/ruby/1.8/irb/cmd/pushws.rb@ 18425

#
#   change-ws.rb - 
#       $Release Version: 0.9.5$
#       $Revision: 11708 $
#       $Date: 2007-02-13 08:01:19 +0900 (Tue, 13 Feb 2007) $
#       by Keiju ISHITSUKA([email protected])
#
# --
#
#   
#

require "irb/cmd/nop.rb"
require "irb/ext/workspaces.rb"

module IRB
  module ExtendCommand
    class Workspaces<Nop
      def execute(*obj)
    irb_context.workspaces.collect{|ws| ws.main}
      end
    end

    class PushWorkspace<Workspaces
      def execute(*obj)
    irb_context.push_workspace(*obj)
    super
      end
    end

    class PopWorkspace<Workspaces
      def execute(*obj)
    irb_context.pop_workspace(*obj)
    super
      end
    end
  end
end