diff options
Diffstat (limited to 'tools/gui/resources/web/index.html')
| -rw-r--r-- | tools/gui/resources/web/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gui/resources/web/index.html b/tools/gui/resources/web/index.html index 6b7a7a9..0b25c0e 100644 --- a/tools/gui/resources/web/index.html +++ b/tools/gui/resources/web/index.html @@ -10,6 +10,7 @@ <link rel="stylesheet" href="highlight/hljs-cbt-theme.css"> </head> <body> +<div id="notifications"></div> <div id="popup"> <div class="stroke" onclick="Popup.hide()">×</div> <table id="popup-table"></table> |