v1.2.0

Graphedit version v1.2.0 Release 🎉

Welcome to Graphedit! This is a tool for creating and manipulating vertex-edge graph based syntaxes. This release introduces support for language servers, much inspired by LSP where the language smarts can be directly integrated into the editor experience with lints and notifications. Lints can highlight sections of a model or even sections of space with an info, hint, warning or error-level messages. We encourage you to take a dive into the source code and implement a simple plugin 🥇.

Most Important Changes

• Language Servers! - a new interface for better editor integration 🥇
• ModelDiff, compare versions of models with each-other on a vertex/edge level. 🟢/🔴
• Lints, highlight sections of the model and attach a message to them 💡
• Plugin Manager, you can now disable and enable plugins in the "Plugins" sidepanel 🔌
• Many smaller improvements as well such as copy/cut/paste, improvements in editor tools and many bug fixes 🐞

What's Changed

• Feature/lints by @sillydan1 in #22
• Feature/lsp by @sillydan1 in #23
• Feature/plugin manager by @sillydan1 in #24

Full Changelog: v1.1.0...v1.2.0