From ce809e30143992e3442a2e4caccfb1d4de640170 Mon Sep 17 00:00:00 2001 From: Christina <156356273+cratiu222@users.noreply.github.com> Date: Fri, 5 Jul 2024 18:25:17 +0300 Subject: [PATCH] Text grammar improvements (#167) * fix update_plugin.md * fix MoveLexer.flex * fix README.md --- README.md | 2 +- docs/update_plugin.md | 2 +- src/main/grammars/MoveLexer.flex | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index b332f7f52..0f6987e03 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ EAP builds are also available, which contain the build from the current `master` ## Compatible IDEs The plugin is compatible with all IntelliJ-based IDEs starting from 2023.3. -Versions older than 2023.3 have older version of the Intellij-Move plugin available. +Versions older than 2023.3 have an older version of the Intellij-Move plugin available. New features are announced in [What's New section of the documentation](https://intellij-move.github.io/what-s-new.html). diff --git a/docs/update_plugin.md b/docs/update_plugin.md index 035c52f4c..c9a902b70 100644 --- a/docs/update_plugin.md +++ b/docs/update_plugin.md @@ -5,4 +5,4 @@ Then select the `Plugins` section from the left sections list. ![plugin_update](./static/pycharm_plugin_update.png) -Click on the `Update` button to download and install new version of the plugin. +Click on the `Update` button to download and install the new version of the plugin. diff --git a/src/main/grammars/MoveLexer.flex b/src/main/grammars/MoveLexer.flex index 4780409aa..81fc65f61 100644 --- a/src/main/grammars/MoveLexer.flex +++ b/src/main/grammars/MoveLexer.flex @@ -12,7 +12,7 @@ import static org.move.lang.MoveParserDefinition.*; %{ /** - * Dedicated storage for starting position of some previously successful + * Dedicated storage for the starting position of some previously successful * match */ private int zzPostponedMarkedPos = -1;