Use resourceURL() for items in help/

dev
Michael Ball 2015-10-07 23:32:52 -07:00
rodzic 5452c2bfa7
commit cce37d8172
2 zmienionych plików z 5 dodań i 2 usunięć

Wyświetl plik

@ -2559,6 +2559,7 @@ BlockMorph.prototype.restoreInputs = function (oldInputs) {
BlockMorph.prototype.showHelp = function () { BlockMorph.prototype.showHelp = function () {
var myself = this, var myself = this,
ide = this.parentThatIsA(IDE_Morph),
pic = new Image(), pic = new Image(),
help, help,
comment, comment,
@ -2596,7 +2597,7 @@ BlockMorph.prototype.showHelp = function () {
block.fullImage() block.fullImage()
); );
} else { } else {
pic.src = 'help/' + spec + '.png'; pic.src = ide.resourceURL('help', spec + '.png');
} }
}; };

4
gui.js
Wyświetl plik

@ -2009,6 +2009,7 @@ IDE_Morph.prototype.userMenu = function () {
IDE_Morph.prototype.snapMenu = function () { IDE_Morph.prototype.snapMenu = function () {
var menu, var menu,
myself = this,
world = this.world(); world = this.world();
menu = new MenuMorph(this); menu = new MenuMorph(this);
@ -2017,7 +2018,8 @@ IDE_Morph.prototype.snapMenu = function () {
menu.addItem( menu.addItem(
'Reference manual', 'Reference manual',
function () { function () {
window.open('help/SnapManual.pdf', 'SnapReferenceManual'); var url = myself.resourceURL('help', 'SnapManual.pdf');
window.open(url, 'SnapReferenceManual');
} }
); );
menu.addItem( menu.addItem(