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