Rename Terminado `attach` and `detach` functions

diff --git a/addons/terminado/terminado.js b/addons/terminado/terminado.js
index 6031c5ad2a659f82487267e3cfabe455b2bcef61..01e4615a60d0d0c148c207bb913356202c4aea1a 100644 (file)
--- a/addons/terminado/terminado.js
+++ b/addons/terminado/terminado.js
@@ -124,7 +124,7 @@
    *                             should happen instantly or at a maximum
    *                             frequency of 1 rendering per 10ms.
    */
-  Xterm.prototype.attach = function (socket, bidirectional, buffered) {
+  Xterm.prototype.terminadoAttach = function (socket, bidirectional, buffered) {
     return exports.attach(this, socket, bidirectional, buffered);
   };
 
@@ -134,7 +134,7 @@
    * @param {WebSocket} socket - The socket from which to detach the current
    *                             terminal.
    */
-  Xterm.prototype.detach = function (socket) {
+  Xterm.prototype.terminadoDetach = function (socket) {
     return exports.detach(this, socket);
   };