#

repo-type-editor

Here are 4 public repositories matching this topic...

sourcegraph / sourcegraph-vscode-DEPRECATED

*️⃣+ 🆚 = ❤️

plugin editor code vscode sourcegraph repo-type-editor

Updated Mar 9, 2022
TypeScript

sourcegraph / sourcegraph-jetbrains

Sourcegraph for JetBrains IDEs (IntelliJ)

intellij jetbrains intellij-plugin intellij-platform gogland gogland-plugin sourcegraph repo-type-editor

Updated Nov 14, 2023
Java

sourcegraph / sourcegraph-sublime

Sourcegraph for Sublime Text 3

plugin editor sublime st3 sourcegraph repo-type-editor

Updated Sep 11, 2020
Python

sourcegraph / sourcegraph-atom

Sourcegraph for Atom

atom plugin editor sourcegraph repo-type-editor

Updated Jul 6, 2022
JavaScript

Improve this page

Add a description, image, and links to the repo-type-editor topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the repo-type-editor topic, visit your repo's landing page and select "manage topics."