D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
opt
/
alt
/
ruby20
/
lib64
/
ruby
/
2.0.0
/
irb
/
cmd
/
Filename :
pushws.rb
back
Copy
# # change-ws.rb - # $Release Version: 0.9.6$ # $Revision: 38358 $ # by Keiju ISHITSUKA(keiju@ruby-lang.org) # # -- # # # require "irb/cmd/nop.rb" require "irb/ext/workspaces.rb" # :stopdoc: 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 # :startdoc: