blob: eddaeae63146230ca413454049392b03747db733 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
#
# 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
|
