try release 0.0.17

onriv · Oct 6, 2024 · ff0edd8 · ff0edd8
1 parent f59f4c8
commit ff0edd8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -3,5 +3,10 @@
 # lean4ij Changelog
 
 ## [Unreleased]
-### Added
-- Message implemented with internal infoview (a reimplementation using a more Jetbrains style)
+
+- More content on the internal infoview
+- Fix [issue#15](https://github.com/onriv/lean4ij/issues/15)
+- Some inlay hints with [@enigmurl](https://github.com/enigmurl)'s great efforts!
+- Some more snippets involving the cursor
+- A setting page
+
diff --git a/gradle.properties b/gradle.properties
@@ -4,7 +4,7 @@ pluginGroup = lean4ij
 pluginName = lean4ij
 pluginRepositoryUrl = https://github.com/onriv/lean4ij
 # SemVer format -> https://semver.org
-pluginVersion = 0.0.17-beta.4
+pluginVersion = 0.0.17
 
 # Supported build number ranges and IntelliJ Platform versions -> https://plugins.jetbrains.com/docs/intellij/build-number-ranges.html
 # For the dependence on textmate bundle api, the plugin must start build from 241