1008 |
if (this.dataPath != file) { |
if (this.dataPath != file) { |
1009 |
var path = this.dataPath; |
var path = this.dataPath; |
1010 |
var request = new XMLHttpRequest(); |
var request = new XMLHttpRequest(); |
1011 |
request.open('GET', path); |
request.open('GET', path + '?rand=' + Math.random() ); |
1012 |
request.onload = function() { |
request.onload = function() { |
1013 |
Presentation.textbox.value = request.responseText; |
Presentation.textbox.value = request.responseText; |
1014 |
Presentation.data = Presentation.textbox.value; |
Presentation.data = Presentation.textbox.value; |
1060 |
}, |
}, |
1061 |
|
|
1062 |
insert : function(aType) { |
insert : function(aType) { |
|
var scrollTop = this.textbox.scrollTop; |
|
|
// alert(this.textbox.scrollTop); |
|
1063 |
switch (aType) |
switch (aType) |
1064 |
{ |
{ |
1065 |
case 'page': |
case 'page': |
1094 |
default: |
default: |
1095 |
return; |
return; |
1096 |
} |
} |
|
this.textbox.scrollTop = scrollTop; |
|
1097 |
this.onEdit(); |
this.onEdit(); |
1098 |
}, |
}, |
1099 |
insertTextFor : function(aString, aNode, aPosOffset) |
insertTextFor : function(aString, aNode, aPosOffset) |