| Index: chrome/browser/resources/extensions_ui.html
|
| ===================================================================
|
| --- chrome/browser/resources/extensions_ui.html (revision 30677)
|
| +++ chrome/browser/resources/extensions_ui.html (working copy)
|
| @@ -585,7 +585,7 @@
|
| jsdisplay="extensions.length > 0">(<span
|
| jscontent="extensions.length"></span>)</span>
|
| </td>
|
| - <td width="14" padding="">
|
| + <td width="18" padding="">
|
| <img id="collapse" class="developer-tools-image"
|
| style="display:none" onclick="toggleDeveloperTools();"
|
| src="minus.png" />
|
| @@ -594,8 +594,8 @@
|
| </td>
|
| <td width="50" align="right">
|
| <div class="developer-tools-link">
|
| - <a onclick="toggleDeveloperTools();" i18n-content="devToolsLink"
|
| - >DEVTOOLS</a>
|
| + <a onclick="toggleDeveloperTools();" style="cursor: default"
|
| + i18n-content="devToolsLink">DEVTOOLS</a>
|
| </div>
|
| </td>
|
| </tr>
|
|
|