v1.3.0

[sillydan1]

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

---

This discussion was created from the release v1.3.0.