Unified Diff: options.js
Issue 6201561285918720:
Issue 1671 - Removed "Hide placeholders" option from the UI (Chrome/Opera/Safari) (Closed)
Patch Set:
Created Dec. 8, 2014, 6:13 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« options.html ('k')
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: options.js |
| =================================================================== |
| --- a/options.js |
| +++ b/options.js |
| @@ -76,7 +76,6 @@ |
| // Popuplate option checkboxes |
| initCheckbox("shouldShowBlockElementMenu"); |
| - initCheckbox("hidePlaceholders"); |
| ext.onMessage.addListener(onMessage); |
« no previous file with comments
|
« options.html ('k')
|
no next file »
|
no next file with comments »
