CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-08 09:30:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

chore: makes types of divs more specific (#5988)

Browse Source 
* chore: cast to a more specific type when creating a div

* chore: make types more specific for divs

* chore: format
This commit is contained in:
Rachel Fenichel
2022-03-08 16:00:31 -08:00
committed by GitHub
parent e11b5834e5
commit 3740d51089
11 changed files with 67 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
core/utils/dom.js
View File

@@ -403,11 +403,11 @@ const measureFontMetrics = function(text, fontSize, fontWeight, fontFamily) {
span.style.font = fontWeight + ' ' + fontSize + ' ' + fontFamily;
span.textContent = text;
const block = document.createElement('div');
const block = /** @type {!HTMLDivElement} */ (document.createElement('div'));
block.style.width = '1px';
block.style.height = 0;
const div = document.createElement('div');
const div = /** @type {!HTMLDivElement} */ (document.createElement('div'));
div.setAttribute('style', 'position: fixed; top: 0; left: 0; display: flex;');
div.appendChild(span);
div.appendChild(block);