MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Configurable: purity annotations

Browse Source 
GitOrigin-RevId: c1613caac3a53f736756d1e9490d099709116b47
This commit is contained in:
Daniel Schmidt
2019-11-14 10:35:35 +00:00
committed by intellij-monorepo-bot
parent 60748bcefe
commit 7ce0cf84fa
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/openapi/options/Configurable.java
+3 -4
View File
@@ -6,10 +6,7 @@ import com.intellij.openapi.extensions.ExtensionPointName;
import com.intellij.openapi.ui.ComboBox;
import com.intellij.openapi.util.Comparing;
import com.intellij.openapi.util.text.StringUtil;
import org.jetbrains.annotations.Nls;
import org.jetbrains.annotations.NonNls;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.jetbrains.annotations.*;
import javax.swing.*;
import java.awt.*;
@@ -134,6 +131,7 @@ public interface Configurable extends UnnamedConfigurable {
* @return the visible name of the configurable component
*/
@Nls(capitalization = Nls.Capitalization.Title)
@Contract(pure = true)
String getDisplayName();
/**
@@ -143,6 +141,7 @@ public interface Configurable extends UnnamedConfigurable {
*/
@Nullable
@NonNls
@Contract(pure = true)
default String getHelpTopic() {
return null;
}