mirror of
https://github.com/google/blockly.git
synced 2026-01-12 11:27:14 +01:00
Unless they could be converted to use goog.dom.TagName, in which case do that. createDom is going to require goog.dom.TagName member as the tagName parameter. This change prepares for that.
155 lines
4.9 KiB
JavaScript
155 lines
4.9 KiB
JavaScript
/**
|
|
* @license
|
|
* Visual Blocks Editor
|
|
*
|
|
* Copyright 2013 Google Inc.
|
|
* https://developers.google.com/blockly/
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
/**
|
|
* @fileoverview A div that floats on top of Blockly. This singleton contains
|
|
* temporary HTML UI widgets that the user is currently interacting with.
|
|
* E.g. text input areas, colour pickers, context menus.
|
|
* @author fraser@google.com (Neil Fraser)
|
|
*/
|
|
'use strict';
|
|
|
|
goog.provide('Blockly.WidgetDiv');
|
|
|
|
goog.require('Blockly.Css');
|
|
goog.require('goog.dom');
|
|
goog.require('goog.dom.TagName');
|
|
goog.require('goog.style');
|
|
|
|
|
|
/**
|
|
* The HTML container. Set once by Blockly.WidgetDiv.createDom.
|
|
* @type {Element}
|
|
*/
|
|
Blockly.WidgetDiv.DIV = null;
|
|
|
|
/**
|
|
* The object currently using this container.
|
|
* @type {Object}
|
|
* @private
|
|
*/
|
|
Blockly.WidgetDiv.owner_ = null;
|
|
|
|
/**
|
|
* Optional cleanup function set by whichever object uses the widget.
|
|
* @type {Function}
|
|
* @private
|
|
*/
|
|
Blockly.WidgetDiv.dispose_ = null;
|
|
|
|
/**
|
|
* Create the widget div and inject it onto the page.
|
|
*/
|
|
Blockly.WidgetDiv.createDom = function() {
|
|
if (Blockly.WidgetDiv.DIV) {
|
|
return; // Already created.
|
|
}
|
|
// Create an HTML container for popup overlays (e.g. editor widgets).
|
|
Blockly.WidgetDiv.DIV =
|
|
goog.dom.createDom(goog.dom.TagName.DIV, 'blocklyWidgetDiv');
|
|
document.body.appendChild(Blockly.WidgetDiv.DIV);
|
|
};
|
|
|
|
/**
|
|
* Initialize and display the widget div. Close the old one if needed.
|
|
* @param {!Object} newOwner The object that will be using this container.
|
|
* @param {boolean} rtl Right-to-left (true) or left-to-right (false).
|
|
* @param {Function} dispose Optional cleanup function to be run when the widget
|
|
* is closed.
|
|
*/
|
|
Blockly.WidgetDiv.show = function(newOwner, rtl, dispose) {
|
|
Blockly.WidgetDiv.hide();
|
|
Blockly.WidgetDiv.owner_ = newOwner;
|
|
Blockly.WidgetDiv.dispose_ = dispose;
|
|
// Temporarily move the widget to the top of the screen so that it does not
|
|
// cause a scrollbar jump in Firefox when displayed.
|
|
var xy = goog.style.getViewportPageOffset(document);
|
|
Blockly.WidgetDiv.DIV.style.top = xy.y + 'px';
|
|
Blockly.WidgetDiv.DIV.style.direction = rtl ? 'rtl' : 'ltr';
|
|
Blockly.WidgetDiv.DIV.style.display = 'block';
|
|
};
|
|
|
|
/**
|
|
* Destroy the widget and hide the div.
|
|
*/
|
|
Blockly.WidgetDiv.hide = function() {
|
|
if (Blockly.WidgetDiv.owner_) {
|
|
Blockly.WidgetDiv.owner_ = null;
|
|
Blockly.WidgetDiv.DIV.style.display = 'none';
|
|
Blockly.WidgetDiv.DIV.style.left = '';
|
|
Blockly.WidgetDiv.DIV.style.top = '';
|
|
Blockly.WidgetDiv.DIV.style.height = '';
|
|
Blockly.WidgetDiv.dispose_ && Blockly.WidgetDiv.dispose_();
|
|
Blockly.WidgetDiv.dispose_ = null;
|
|
goog.dom.removeChildren(Blockly.WidgetDiv.DIV);
|
|
}
|
|
};
|
|
|
|
/**
|
|
* Is the container visible?
|
|
* @return {boolean} True if visible.
|
|
*/
|
|
Blockly.WidgetDiv.isVisible = function() {
|
|
return !!Blockly.WidgetDiv.owner_;
|
|
};
|
|
|
|
/**
|
|
* Destroy the widget and hide the div if it is being used by the specified
|
|
* object.
|
|
* @param {!Object} oldOwner The object that was using this container.
|
|
*/
|
|
Blockly.WidgetDiv.hideIfOwner = function(oldOwner) {
|
|
if (Blockly.WidgetDiv.owner_ == oldOwner) {
|
|
Blockly.WidgetDiv.hide();
|
|
}
|
|
};
|
|
|
|
/**
|
|
* Position the widget at a given location. Prevent the widget from going
|
|
* offscreen top or left (right in RTL).
|
|
* @param {number} anchorX Horizontal location (window coorditates, not body).
|
|
* @param {number} anchorY Vertical location (window coorditates, not body).
|
|
* @param {!goog.math.Size} windowSize Height/width of window.
|
|
* @param {!goog.math.Coordinate} scrollOffset X/y of window scrollbars.
|
|
* @param {boolean} rtl True if RTL, false if LTR.
|
|
*/
|
|
Blockly.WidgetDiv.position = function(anchorX, anchorY, windowSize,
|
|
scrollOffset, rtl) {
|
|
// Don't let the widget go above the top edge of the window.
|
|
if (anchorY < scrollOffset.y) {
|
|
anchorY = scrollOffset.y;
|
|
}
|
|
if (rtl) {
|
|
// Don't let the widget go right of the right edge of the window.
|
|
if (anchorX > windowSize.width + scrollOffset.x) {
|
|
anchorX = windowSize.width + scrollOffset.x;
|
|
}
|
|
} else {
|
|
// Don't let the widget go left of the left edge of the window.
|
|
if (anchorX < scrollOffset.x) {
|
|
anchorX = scrollOffset.x;
|
|
}
|
|
}
|
|
Blockly.WidgetDiv.DIV.style.left = anchorX + 'px';
|
|
Blockly.WidgetDiv.DIV.style.top = anchorY + 'px';
|
|
Blockly.WidgetDiv.DIV.style.height =
|
|
(windowSize.height - anchorY + scrollOffset.y) + 'px';
|
|
};
|