made "zoom blocks" dialog undraggable on touch devices

pull/95/head
jmoenig 2020-06-01 13:58:55 +02:00
rodzic 6eb1c85504
commit e7ba24b083
2 zmienionych plików z 10 dodań i 5 usunięć

Wyświetl plik

@ -10,7 +10,7 @@
<script type="text/javascript" src="src/blocks.js?version=2020-05-28"></script>
<script type="text/javascript" src="src/threads.js?version=2020-05-30"></script>
<script type="text/javascript" src="src/objects.js?version=2020-05-18"></script>
<script type="text/javascript" src="src/gui.js?version=2020-05-28"></script>
<script type="text/javascript" src="src/gui.js?version=2020-06-01"></script>
<script type="text/javascript" src="src/paint.js?version=2020-05-17"></script>
<script type="text/javascript" src="src/lists.js?version=2020-05-18"></script>
<script type="text/javascript" src="src/byob.js?version=2020-05-27"></script>

Wyświetl plik

@ -78,7 +78,7 @@ Animation, BoxMorph, BlockEditorMorph, BlockDialogMorph, Note*/
// Global stuff ////////////////////////////////////////////////////////
modules.gui = '2020-May-28';
modules.gui = '2020-June-01';
// Declarations
@ -5487,7 +5487,8 @@ IDE_Morph.prototype.userSetBlocksScale = function () {
blck,
shield,
sample,
action;
action,
dlg;
scrpt = new CommandBlockMorph();
scrpt.color = SpriteMorph.prototype.blockColor.motion;
@ -5527,10 +5528,14 @@ IDE_Morph.prototype.userSetBlocksScale = function () {
scrpt.fullChanged();
};
new DialogBoxMorph(
dlg = new DialogBoxMorph(
null,
num => this.setBlocksScale(Math.min(num, 12))
).withKey('zoomBlocks').prompt(
).withKey('zoomBlocks');
if (MorphicPreferences.isTouchDevice) {
dlg.isDraggable = false;
}
dlg.prompt(
'Zoom blocks',
SyntaxElementMorph.prototype.scale.toString(),
this.world(),