3
# $Release Version: 0.9.5$
5
# $Date: 2007-02-13 08:01:19 +0900 (Tue, 13 Feb 2007) $
6
# by Keiju ISHITSUKA(keiju@ruby-lang.org)
17
if defined? @home_workspace
20
@home_workspace = @workspace
24
def change_workspace(*_main)
26
@workspace = home_workspace
30
@workspace = WorkSpace.new(_main[0])
32
if !(class<<main;ancestors;end).include?(ExtendCommandBundle)
33
main.extend ExtendCommandBundle
37
# def change_binding(*_main)
39
# @workspace = WorkSpace.new(*_main)
42
# main.extend ExtendCommandBundle
44
# print "can't change binding to: ", main.inspect, "\n"
59
# alias change_workspace change_binding