Skip to content

v1.3.0
Compare
Choose a tag to compare
@sillydan1 sillydan1 released this 12 Jan 15:14
· 103 commits to main since this release
v1.3.0
8c923fd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Graphedit version v1.3.0 Release 🎉

Welcome to Graphedit! This is a tool for creating and manipulating vertex-edge graph based syntaxes.
This release is fairly minor and introduces support for grpc based language servers, which makes it easier than ever to integrate a language server. We encourage you to take a dive into the source code and implement a simple plugin 🥇.

Most Important Changes

  • gRPC Language Servers! - integrate your non-java language server directly 🥇
  • RunTargets can now restart the editor on successful runs
  • Many smaller UI/UX improvements and bug fixes 🐞
  • API change to how the VertexController view class is instantiated for easier extension

Full Changelog: v1.2.1...v1.3.0

Assets 7
Loading
0 Join discussion