Skip to content

Border properties not reset when clearing line decorations

Created by: ryan-blunden

  • Sourcegraph version: 25705_2018-12-17_b40ca28 (25705_2018-12-17_b40ca28)
  • Platform information: Chrome macOS Mojave

Steps to reproduce:

Enable and disable the Dockerfile lint extension.

My presumption is if I supply editor.setDocorations an empty array, it will clear decorations for all lines.

sourcegraphextensionscleardecorations