diff --git a/edit.html b/edit.html
index 0b70fd67..d17e45c9 100644
--- a/edit.html
+++ b/edit.html
@@ -456,6 +456,9 @@
#lint > div {
max-height: 0;
}
+ #lint.collapsed > div {
+ display: none;
+ }
#lint:hover > div {
margin-top: 1em;
max-height: 30vh;
diff --git a/edit.js b/edit.js
index d05e43a7..ff269f84 100644
--- a/edit.js
+++ b/edit.js
@@ -979,6 +979,10 @@ function gotoLintIssue(event) {
});
}
+function toggleLintReport() {
+ document.getElementById("lint").classList.toggle("collapsed");
+}
+
function beautify(event) {
if (exports.css_beautify) { // thanks to csslint's definition of 'exports'
doBeautify();
@@ -1135,6 +1139,11 @@ function initHooks() {
document.getElementById("lint").addEventListener("click", gotoLintIssue);
window.addEventListener("resize", resizeLintReport);
+ // touch devices don't have onHover events so the element we'll be toggled via clicking (touching)
+ if ("ontouchstart" in document.body) {
+ document.querySelector("#lint h2").addEventListener("click", toggleLintReport);
+ }
+
setupGlobalSearch();
setCleanGlobal();
updateTitle();