GUI -- toggle state for some of the topo buttons, now persisted via cookie.

Change-Id: Ie80c840635fcc7b87705d73abf77b7bc6df03f18
diff --git a/web/gui/src/main/webapp/app/view/topo/topoPanel.js b/web/gui/src/main/webapp/app/view/topo/topoPanel.js
index d95c4f5..579ebde 100644
--- a/web/gui/src/main/webapp/app/view/topo/topoPanel.js
+++ b/web/gui/src/main/webapp/app/view/topo/topoPanel.js
@@ -226,7 +226,9 @@
     }
 
     function toggleSummary(x) {
-        var on = (x === 'keyev') ? !summaryPanel.isVisible() : !!x;
+        var kev = (x === 'keyev'),
+            on = kev ? !summaryPanel.isVisible() : !!x,
+            verb = on ? 'Show' : 'Hide';
 
         if (on) {
             // ask server to start sending summary data.
@@ -235,6 +237,8 @@
         } else {
             hideSummaryPanel();
         }
+        flash.flash(verb + ' summary panel');
+        return on;
     }
 
     // === -----------------------------------------------------
@@ -292,16 +296,21 @@
     }
 
     function toggleDetails(x) {
-        useDetails = (x === 'keyev') ? !useDetails : !!x;
+        var kev = (x === 'keyev'),
+            verb;
+
+        useDetails = kev ? !useDetails : !!x;
+        verb = useDetails ? 'Enable' : 'Disable';
+
         if (useDetails) {
-            flash.flash('Enable details panel');
             if (haveDetails) {
                 showDetailPanel();
             }
         } else {
-            flash.flash('Disable details panel');
             hideDetailPanel();
         }
+        flash.flash(verb + ' details panel');
+        return useDetails;
     }
 
     // ==========================