Add basic support for closing windows to webui

Fixes issue 4314

Change-Id: I62af278b04867b23e83f4319c56780db9ea00e16
Reviewed-on: http://gerrit.dmdirc.com/1468
Automatic-Compile: DMDirc Local Commits <dmdirc@googlemail.com>
Reviewed-by: Shane Mc Cormack <shane@dmdirc.com>

src/com/dmdirc/addons/ui_web/res/javascript/dmdirc.js

@@ -22,6 +22,11 @@ function setSpeed(what, speed) {
     document.getElementById(what + '_' + speed).style.textDecoration = 'underline';
 }
 
+function treeview_remove(id) {
+    var el = document.getElementById(id);
+    el.parentNode.removeChild(el);
+}
+
 function treeview_add(name, id, type, parent) {
     var parentNode;
 
@@ -400,6 +405,16 @@ function window_create(window, parent) {
         onException:excFunc, onSuccess: handlerFunc})
 }
 
+function window_close(id) {
+    treeview_remove(id);
+    windows.unset(id);
+
+    if (activeWindow == id) {
+        // TODO: Focus another window, or reset textview/title/etc if there
+        //       are no more windows
+    }
+}
+
 function window_show(id) {
     treeview_setactive(id);
     title_settext(windows.get(id).title)
@@ -483,6 +498,8 @@ function handlerFunc(transport) {
             profiles_add(event.arg1);
         } else if (event.type == 'newwindow') {
             window_create(event.arg1);
+        } else if (event.type == 'closewindow') {
+            window_close(event.arg1);
         } else if (event.type == 'newchildwindow') {
             window_create(event.arg1[1], event.arg1[0]);
         } else if (event.type == 'clearwindow') {

src/com/dmdirc/addons/ui_web/res/style.css

@@ -78,7 +78,7 @@ body {
 }
 
 #treeview li {
-    list-style-image: url('/static/images/dmdirc.gif');
+    list-style-image: url('/dmdirc/icon.png');
     margin: 3px 0px;
     padding: 0px;
 }

src/com/dmdirc/addons/ui_web/uicomponents/WebWindow.java

@@ -202,7 +202,7 @@ public class WebWindow implements Window, IRCDocumentListener, FrameInfoListener
     /** {@inheritDoc} */
     @Override
     public void close() {
-        //TODO FIXME
+        DynamicRequestHandler.addEvent(new Event("closewindow", myID));
     }
 
     public String getType() {