blob: 21e17e0a5f84610724d9a87d8a5d8e1db9d6ecaf (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
mixin window(id, title, closeable=true, with_header_id=false)
div(id=id class="window")
div(id=(with_header_id ? `${id}-header` : "") class="window-header" style=(closeable ? "" : "z-index:1"))
div(class="window-grab") #{title}
if closeable
button(class="window-button-close") ×
block
include window-stream.pug
include window-keyboard.pug
include window-about.pug
|
