From 54ec1c4fe81672ca66f327ef6ae170f458cd79e5 Mon Sep 17 00:00:00 2001 From: shyouhei Date: Wed, 15 Aug 2007 20:57:30 +0000 Subject: sorry. I made wrong tags. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/tags/v1_8_5_54@13009 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- ruby_1_8_5/lib/irb/ext/workspaces.rb | 56 ------------------------------------ 1 file changed, 56 deletions(-) delete mode 100644 ruby_1_8_5/lib/irb/ext/workspaces.rb (limited to 'ruby_1_8_5/lib/irb/ext/workspaces.rb') diff --git a/ruby_1_8_5/lib/irb/ext/workspaces.rb b/ruby_1_8_5/lib/irb/ext/workspaces.rb deleted file mode 100644 index b09e52ca34..0000000000 --- a/ruby_1_8_5/lib/irb/ext/workspaces.rb +++ /dev/null @@ -1,56 +0,0 @@ -# -# push-ws.rb - -# $Release Version: 0.9.5$ -# $Revision: 1.1.2.1 $ -# $Date: 2005/04/19 19:24:58 $ -# by Keiju ISHITSUKA(keiju@ruby-lang.org) -# -# -- -# -# -# - -module IRB - class Context - - def irb_level - workspace_stack.size - end - - def workspaces - if defined? @workspaces - @workspaces - else - @workspaces = [] - end - end - - def push_workspace(*_main) - if _main.empty? - if workspaces.empty? - print "No other workspace\n" - return nil - end - ws = workspaces.pop - workspaces.push @workspace - @workspace = ws - return workspaces - end - - workspaces.push @workspace - @workspace = WorkSpace.new(@workspace.binding, _main[0]) - if !(class<