From fcbf63e62c627deae76c1b8cb8c0876c536ed811 Mon Sep 17 00:00:00 2001
From: Jari Vetoniemi <jari.vetoniemi@indooratlas.com>
Date: Mon, 16 Mar 2020 18:49:26 +0900
Subject: Fresh start

---
 jni/ruby/lib/irb/cmd/pushws.rb | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 jni/ruby/lib/irb/cmd/pushws.rb

(limited to 'jni/ruby/lib/irb/cmd/pushws.rb')

diff --git a/jni/ruby/lib/irb/cmd/pushws.rb b/jni/ruby/lib/irb/cmd/pushws.rb
new file mode 100644
index 0000000..1bda950
--- /dev/null
+++ b/jni/ruby/lib/irb/cmd/pushws.rb
@@ -0,0 +1,40 @@
+#
+#   change-ws.rb -
+#   	$Release Version: 0.9.6$
+#   	$Revision: 47112 $
+#   	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:
+
-- 
cgit v1.2.3