tree 76fd94f3fc427a027818eea462b81f819251aa2a
parent 3d9475c04bbc78ad5052521b2881d93fb9dc27da
author Jaana Burcu Dogan <jbd@google.com> 1501013028 -0700
committer Jaana Burcu Dogan <jbd@google.com> 1501014685 +0000

doc: list editor options by name, not plugin name

So the users can recognize their option by their editor's name.

Fixes #20398.

Change-Id: Id314d4dbe26f40231a479b179620d7e66512b506
Reviewed-on: https://go-review.googlesource.com/51114
Reviewed-by: Chris Broadfoot <cbro@golang.org>