(changing project source after exporting to disk)
pull/89/head
jmoenig 2019-04-10 10:48:45 +02:00
rodzic 64037093d3
commit ed8c9b4575
3 zmienionych plików z 16 dodań i 6 usunięć

Wyświetl plik

@ -70,6 +70,7 @@
### 2019-04-10 ### 2019-04-10
* Objects: took out MAP and FOREACH primitives (available in dev mode) * Objects: took out MAP and FOREACH primitives (available in dev mode)
* Objects: fixed #2371 (playing sounds in the stage) * Objects: fixed #2371 (playing sounds in the stage)
* GUI: fixed #2367 (changing project source after exporting to disk)
### 2019-04-09 ### 2019-04-09
* Blocks, Objects, Threads: new "getImageAttribute" reporter primitive * Blocks, Objects, Threads: new "getImageAttribute" reporter primitive

Wyświetl plik

@ -9,7 +9,7 @@
<script type="text/javascript" src="src/blocks.js?version=2019-04-09"></script> <script type="text/javascript" src="src/blocks.js?version=2019-04-09"></script>
<script type="text/javascript" src="src/threads.js?version=2019-04-09"></script> <script type="text/javascript" src="src/threads.js?version=2019-04-09"></script>
<script type="text/javascript" src="src/objects.js?version=2019-04-10"></script> <script type="text/javascript" src="src/objects.js?version=2019-04-10"></script>
<script type="text/javascript" src="src/gui.js?version=2019-03-25"></script> <script type="text/javascript" src="src/gui.js?version=2019-04-10"></script>
<script type="text/javascript" src="src/paint.js?version=2019-02-22"></script> <script type="text/javascript" src="src/paint.js?version=2019-02-22"></script>
<script type="text/javascript" src="src/lists.js?version=2019-02-07"></script> <script type="text/javascript" src="src/lists.js?version=2019-02-07"></script>
<script type="text/javascript" src="src/byob.js?version=2019-02-15"></script> <script type="text/javascript" src="src/byob.js?version=2019-02-15"></script>

Wyświetl plik

@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/
// Global stuff //////////////////////////////////////////////////////// // Global stuff ////////////////////////////////////////////////////////
modules.gui = '2019-March-25'; modules.gui = '2019-April-10';
// Declarations // Declarations
@ -6045,10 +6045,19 @@ ProjectDialogMorph.prototype.init = function (ide, task) {
this.key = 'project' + task; this.key = 'project' + task;
// build contents // build contents
if (task === 'open' && this.source === 'disk') {
// give the user a chance to switch to another source
this.source = null;
this.buildContents();
this.projectList = [];
this.listField.hide();
this.source = 'disk';
} else {
this.buildContents(); this.buildContents();
this.onNextStep = function () { // yield to show "updating" message this.onNextStep = function () { // yield to show "updating" message
myself.setSource(myself.source); myself.setSource(myself.source);
}; };
}
}; };
ProjectDialogMorph.prototype.buildContents = function () { ProjectDialogMorph.prototype.buildContents = function () {