alex c893a02878 remove lock option from highlighter (#1703) ... Highlighter is autolocked, so we shouldn't show the lock icon ### Change Type - [x] `patch` — Bug fix [^1]: publishes a `patch` release, for devDependencies use `internal` [^2]: will not publish a new version ### Test Plan 1. Add a step-by-step description of how to test your PR here. 2. - [ ] Unit Tests - [ ] End to end tests ### Release Notes - We no longer show the tool lock option for highlighter - it didn't do anything anyway		2023-07-04 10:41:14 +00:00
..
docs	remove lock option from highlighter (#1703)	2023-07-04 10:41:14 +00:00
examples	…
vscode	…
webdriver/www	remove lock option from highlighter (#1703)	2023-07-04 10:41:14 +00:00