From 7c1e52b7f3f80609e788f0a59c8b808a465c2c0d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Thu, 18 Jul 2024 13:35:12 +0200 Subject: [PATCH] labels: add tooltips --- labels.list | 68 ++++++++++++++++++++++++++++++++++++++++------------- 1 file changed, 52 insertions(+), 16 deletions(-) diff --git a/labels.list b/labels.list index 2fd5aa46d..c28a5a430 100644 --- a/labels.list +++ b/labels.list @@ -1,26 +1,62 @@ + - + + Available only in commercial IDEs. + + href="https://plugins.jetbrains.com/docs/intellij/idea.html"> + Available only in IntelliJ IDEA. + + href="https://plugins.jetbrains.com/docs/intellij/idea-ultimate.html"> + Available only in IntelliJ IDEA Ultimate. + - + + Deprecated, see notes. + - - - - - - - - - - - - + + Available in IDE version 2020.1 or later + + + Available in IDE version 2020.2 or later + + + Available in IDE version 2020.3 or later + + + Available in IDE version 2021.3 or later + + + Available in IDE version 2022.1 or later + + + Available in IDE version 2022.2 or later + + + Available in IDE version 2022.3 or later + + + Available in IDE version 2023.1 or later + + + Available in IDE version 2023.2 or later + + + Available in IDE version 2023.3 or later + + + Available in IDE version 2024.1 or later + + + Available in IDE version 2024.2 or later + + + Available in IDE version 2024.3 or later +