DevTools: [Persistence] introduce badged icons instead of checkmarks

third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js

 /*
  * Copyright (C) 2010 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 331 matching lines @@
   lastOpenedTabIds(tabsCount) {
     function tabToTabId(tab) {
       return tab.id;
     }
 
     return this._tabsHistory.slice(0, tabsCount).map(tabToTabId);
   }
 
   /**
    * @param {string} id
-   * @param {?UI.Icon} icon
+   * @param {?Element} icon
    */
   setTabIcon(id, icon) {
     var tab = this._tabsById.get(id);
     tab._setIcon(icon);
     this._updateTabElements();
   }
 
   /**
    * @param {string} id
    * @param {boolean} enabled
@@ skipping 533 matching lines @@
   }
 
   /**
    * @return {boolean}
    */
   isCloseable() {
     return this._closeable;
   }
 
   /**
-   * @param {?UI.Icon} icon
+   * @param {?Element} icon
    */
   _setIcon(icon) {
     this._icon = icon;
     if (this._tabElement)
       this._createIconElement(this._tabElement, this._titleElement, false);
     delete this._measuredWidth;
   }
 
   /**
    * @param {string} className
@@ skipping 293 matching lines @@
    * @param {!Array.<string>} ids
    */
   closeTabs(tabbedPane, ids) {},
 
   /**
    * @param {string} tabId
    * @param {!UI.ContextMenu} contextMenu
    */
   onContextMenu(tabId, contextMenu) {}
 };