Current File : //opt/alt/ruby18/lib64/ruby/1.8/irb/cmd/pushws.rb
#
# 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(keiju@ruby-lang.org)
#
# --
#
#
#
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
Mini Shell