Fix scrambled data in spreadsheets: disable 'undo'
parent
0506e717b8
commit
5ee4cd5b5f
|
@ -782,6 +782,18 @@ define([
|
|||
view: false
|
||||
};
|
||||
});
|
||||
// Add an history keeper user to show that we're never alone
|
||||
var hkId = Util.createRandomInteger();
|
||||
p.push({
|
||||
id: hkId,
|
||||
idOriginal: String(hkId),
|
||||
username: "History",
|
||||
indexUser: i,
|
||||
connectionId: Hash.createChannelId(),
|
||||
isCloseCoAuthoring:false,
|
||||
view: false
|
||||
});
|
||||
i++;
|
||||
if (!myUniqueOOId) { myUniqueOOId = String(myOOId) + i; }
|
||||
p.push({
|
||||
id: myUniqueOOId,
|
||||
|
|
Loading…
Reference in New Issue