1.  
  2. ...
  3. var handleMouseover = function(e) {
  4. if (this.getText() != gSelectedTab.getText()) {
  5. this.setStyleProperty("border", "1px solid #c0c7c8");
  6. this.setStyleProperty("borderLeft", "1px solid #ffffff");
  7. this.setStyleProperty("fontWeight", "bold");
  8. this.referTo.setStyleProperty("display", "");
  9.  
  10. if (gSelectedTab) {
  11. gSelectedTab.setStyleProperty("border", "0");
  12. gSelectedTab.setStyleProperty("borderLeft", "1px solid #c0c7c8");
  13. gSelectedTab.setStyleProperty("fontWeight", "normal");
  14. gSelectedTab.referTo.setStyleProperty("display", "none");
  15. }
  16. gSelectedTab = this;
  17. }
  18. }
  19. ...
  20. tabButton1.addEventListener("mouseover", handleMouseover);
  21. ...
  22.  
  23.