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

nls

Browse Source 
GitOrigin-RevId: 73651610a5bfb4edd247f1604488018d06418303
This commit is contained in:
Sergey Ignatov
2020-01-13 21:32:07 +00:00
committed by intellij-monorepo-bot
parent d3129216a5
commit 07b3bafeb3
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/SeparatorWithText.java
+2 -1
View File
@@ -19,6 +19,7 @@ import com.intellij.ide.ui.UISettings;
import com.intellij.util.ui.JBInsets;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.UIUtil;
import org.jetbrains.annotations.Nls;
import org.jetbrains.annotations.NotNull;
import javax.accessibility.Accessible;
@@ -139,7 +140,7 @@ public class SeparatorWithText extends JComponent implements Accessible {
return myCaption == null || myCaption.trim().isEmpty() ? null : myCaption;
}
public void setCaption(String captionAboveOf) {
public void setCaption(@Nls String captionAboveOf) {
myCaption = captionAboveOf;
}