fixed #604. Thanks, @Gubolin!

pull/3/merge
jmoenig 2014-10-06 10:34:56 +02:00
rodzic 45e1f3193b
commit 2ae675132a
3 zmienionych plików z 13 dodań i 4 usunięć

3
gui.js
Wyświetl plik

@ -69,7 +69,7 @@ SpeechBubbleMorph*/
// Global stuff ////////////////////////////////////////////////////////
modules.gui = '2014-October-02';
modules.gui = '2014-October-06';
// Declarations
@ -3354,6 +3354,7 @@ IDE_Morph.prototype.toggleStageSize = function (isSmall) {
myself.stageRatio += (1 - myself.stageRatio) / 2;
myself.setExtent(world.extent());
if (myself.stageRatio > 0.9) {
myself.stageRatio = 1;
myself.isSmallStage = false;
myself.setExtent(world.extent());
myself.controlBar.stageSizeButton.refresh();

Wyświetl plik

@ -2301,3 +2301,7 @@ ______
141002
------
* GUI: New feature - minimal stage mode (shift-click on small-stage button)
141006
------
* GUI, Objects: fixed #604. Thanks, @Gubolin!

Wyświetl plik

@ -125,7 +125,7 @@ PrototypeHatBlockMorph*/
// Global stuff ////////////////////////////////////////////////////////
modules.objects = '2014-October-01';
modules.objects = '2014-October-06';
var SpriteMorph;
var StageMorph;
@ -4378,8 +4378,12 @@ StageMorph.prototype.drawOn = function (aCanvas, aRect) {
);
// pen trails
ws = w / this.scale;
hs = h / this.scale;
ws = Math.floor(
Math.min(w / this.scale, this.image.width * this.scale)
);
hs = Math.floor(
Math.min(h / this.scale, this.image.height * this.scale)
);
context.save();
context.scale(this.scale, this.scale);
context.drawImage(