Add a button object that highlights a button area when it is moused over and transitions it to a different color when the button is pressed in. Use this button object for the panel's "Activities" button.

Add some comments, TODO items, and type fixes to the code.

svn path=/trunk/; revision=52

js/ui/main.js

@@ -48,5 +48,6 @@ function hide_overlay() {
     let global = Shell.global_get();
 
     overlay.hide();
+    panel.overlayHidden();
     global.set_stage_input_area(0, 0, global.screen_width, Panel.PANEL_HEIGHT);
 }