diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
| commit | 36d22d82aa202bb199967e9512281e9a53db42c9 (patch) | |
| tree | 105e8c98ddea1c1e4784a60a5a6410fa416be2de /devtools/client/shared/sourceeditor/codemirror/cmiframe.html | |
| parent | Initial commit. (diff) | |
| download | firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip | |
Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'devtools/client/shared/sourceeditor/codemirror/cmiframe.html')
| -rw-r--r-- | devtools/client/shared/sourceeditor/codemirror/cmiframe.html | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/devtools/client/shared/sourceeditor/codemirror/cmiframe.html b/devtools/client/shared/sourceeditor/codemirror/cmiframe.html new file mode 100644 index 0000000000..acb8677548 --- /dev/null +++ b/devtools/client/shared/sourceeditor/codemirror/cmiframe.html @@ -0,0 +1,25 @@ +<!DOCTYPE html> +<html dir='ltr'> +<head> + <style id="cmBaseStyle"> + html, body { height: 100%; } + body { margin: 0; overflow: hidden; } + .CodeMirror { + width: 100% !important; + /* + 1. Use fallback values for CSS variables, so that the text is sized + correctly while all the stylesheets load. Fallback values should + match the values in devtools/client/themes/variables.css + 2. Avoid !important for the font-size, to let CodeMirror set its own + font-size based on prefs. + */ + font-size: var(--theme-code-font-size, 11px); + line-height: var(--theme-code-line-height, 1.3636) !important; + } + </style> + <link rel='stylesheet' href="chrome://devtools/content/shared/sourceeditor/codemirror/lib/codemirror.css"> + <link rel='stylesheet' href="chrome://devtools/content/shared/sourceeditor/codemirror/addon/dialog/dialog.css"> + <link rel='stylesheet' href="chrome://devtools/content/shared/sourceeditor/codemirror/mozilla.css"> +</head> +<body class='theme-body devtools-monospace'></body> +</html> |