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