Skip to content

manifold-systems/manifold-ij

Repository files navigation

manifold-ij

An IntelliJ IDEA plugin for Manifold.

Description

Use the Manifold IntelliJ IDEA plugin to experience Manifold to its fullest.

The plugin provides comprehensive support for Manifold along with high-level IntelliJ features including:

  • Feature highlighting
  • Error reporting
  • Code completion
  • Navigation
  • Usage searching
  • Refactoring
  • Incremental compilation
  • Debugging

Install the plugin directly from IntelliJ via:

SettingsPluginsMarketplace ➜ search: Manifold

Visit the Manifold website for more information.

Development

The plugin can be compiled and tested against different API versions. The default value lives in the defaultIjVersion property in the root gradle.properties file.

Either override this value in gradle.properties locally, or from the command line: gradlew check -DijVersion=15.0.6