Fixed pikvm/pikvm#38: Closeable stream window

This commit is contained in:
Devaev Maxim
2020-08-16 10:35:29 +03:00
parent 2f069dbf91
commit 8c40029956
7 changed files with 57 additions and 14 deletions

View File

@@ -9,7 +9,7 @@ mixin about_tab(name, title, checked=false)
else
span(class="code-comment") No data
+window("about-window", "About", true, false)
+window("about-window", "About", false)
div(id="about")
table
tr