Fix #2918. Re-enable editor after user is reconnected to server

This commit is contained in:
Luiza Pagliari 2016-07-21 15:23:14 -03:00
parent 3fcc7aa190
commit c92e3e4b5e
2 changed files with 8 additions and 0 deletions

View File

@ -769,6 +769,7 @@ var pad = {
var wasConnecting = (padconnectionstatus.getStatus().what == 'connecting');
if (newState == "CONNECTED")
{
padeditor.enable();
padconnectionstatus.connected();
}
else if (newState == "RECONNECTING")

View File

@ -198,6 +198,13 @@ var padeditor = (function()
self.ace = null;
}
},
enable: function()
{
if (self.ace)
{
self.ace.setEditable(true);
}
},
disable: function()
{
if (self.ace)