diff --git a/docs/user-guide-screenshots/LSP4Jakarta-quickfix.png b/docs/user-guide-screenshots/LSP4Jakarta-quickfix.png new file mode 100644 index 00000000..9e655d70 Binary files /dev/null and b/docs/user-guide-screenshots/LSP4Jakarta-quickfix.png differ diff --git a/docs/user-guide.md b/docs/user-guide.md index c65398f0..a824acac 100644 --- 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).