Merge pull request OpenLiberty#314 from turkeylurkey/main

Add a section showing a Jakarta quickfix.
TrevCraw · Nov 20, 2023 · b182ae0 · b182ae0
2 parents d9c4b06 + 7b373ce
commit b182ae0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/docs/user-guide-screenshots/LSP4Jakarta-quickfix.png b/docs/user-guide-screenshots/LSP4Jakarta-quickfix.png
diff --git a/docs/user-guide.md b/docs/user-guide.md
@@ -227,6 +227,10 @@ Liberty Tools editing assistance provides code completion, diagnostics, and quic
 
 ![Eclipse LSP4MP microprofile-config.properties completion](/docs/user-guide-screenshots/mp_completion.png)
 
+3. To use Jakarta EE-specific and MicroProfile-specific quick-fixes, hover over a Jakarta EE or MicroProfile diagnostic. A pop-up dialog appears that contains the diagnostic message and a **Quick Fix** link, if a quick-fix is available. Click the **Quick Fix...** link to view a list of quick-fix options.
+
+![Jakarta EE quick fix](/docs/user-guide-screenshots/LSP4Jakarta-quickfix.png)
+
 Jakarta EE API configuration assistance is offered through Eclipse LSP4Jakarta, the Language Server for Jakarta EE. For more information, see the [project documentation in GitHub](https://github.com/eclipse/lsp4jakarta#eclipse-lsp4jakarta).
 
 MicroProfile EE API configuration assistance is offered through Eclipse LSP4MP, the Language Server for MicroProfile. For more information, see the [project documentation in GitHub](https://github.com/eclipse/lsp4mp#eclipse-lsp4mp---language-server-for-microprofile).