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