@worktile/theia 2.2.5 → 2.2.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -7185,9 +7185,15 @@
|
|
|
7185
7185
|
var span = document.createElement('pre');
|
|
7186
7186
|
span.appendChild(blockCard.cloneNode(true));
|
|
7187
7187
|
span.textContent = this.element.content;
|
|
7188
|
-
|
|
7189
|
-
|
|
7190
|
-
|
|
7188
|
+
if (this.element.language) {
|
|
7189
|
+
span.setAttribute('data-language', this.element.language);
|
|
7190
|
+
}
|
|
7191
|
+
if (this.element.autoWrap) {
|
|
7192
|
+
span.setAttribute('data-auto-wrap', String(this.element.autoWrap));
|
|
7193
|
+
}
|
|
7194
|
+
if (this.element.height) {
|
|
7195
|
+
span.setAttribute('data-height', String(this.element.height));
|
|
7196
|
+
}
|
|
7191
7197
|
document.body.appendChild(span);
|
|
7192
7198
|
var selection = window.getSelection();
|
|
7193
7199
|
var range = document.createRange();
|