diff options
Diffstat (limited to 'lib/irb/cmd/pushws.rb')
| -rw-r--r-- | lib/irb/cmd/pushws.rb | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/lib/irb/cmd/pushws.rb b/lib/irb/cmd/pushws.rb deleted file mode 100644 index eddaeae631..0000000000 --- a/lib/irb/cmd/pushws.rb +++ /dev/null @@ -1,39 +0,0 @@ -# -# change-ws.rb - -# $Release Version: 0.9.5$ -# $Revision$ -# $Date$ -# 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 - |