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

https://ea.jetbrains.com/browser/ea_reports/1356696

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2017-02-21 14:59:18 +03:00
parent 17a2dc124d
commit f9da4e8ed7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/TitledSeparator.java
+1 -1
View File
@@ -71,7 +71,7 @@ public class TitledSeparator extends JPanel {
public void setText(String text) {
originalText = text;
myLabel.setText(text.startsWith("<html>") ? text : UIUtil.replaceMnemonicAmpersand(originalText));
myLabel.setText(text != null && text.startsWith("<html>") ? text : UIUtil.replaceMnemonicAmpersand(originalText));
}
public void setTitleFont(Font font) {
myLabel.setFont(font);