@@ -466,39 +466,38 @@ public void mouseMoved(final MouseEvent e) {
466466 escapeHtml (result .name ()), searchText ) + "</h2>" );
467467 detailsProps .removeAll ();
468468 result .properties ().forEach ((k , v ) -> {
469- if (v != "" ) {
470- if (k == null ) {
471- final JTextPane textPane = new JTextPane ();
472- textPane .setContentType ("text/html" );
473- textPane .setText (highlightSearchBold (v , searchText ));
474- final Font font = UIManager .getFont ("Label.font" );
475- final String bodyRule = "body { font-family: " + font
476- .getFamily () + "; " + "font-size: " + font .getSize () +
477- "pt; }" ;
478- ((HTMLDocument ) textPane .getDocument ()).getStyleSheet ().addRule (
479- bodyRule );
480- textPane .setBorder (BorderFactory .createCompoundBorder (
481- BorderFactory .createMatteBorder (1 , 0 , 1 , 0 , Color .DARK_GRAY ),
482- BorderFactory .createEmptyBorder (PAD , 0 , PAD , 0 )));
483- textPane .setEditable (false );
484- textPane .setOpaque (false );
485- detailsProps .add (textPane , "growx, wmax 100%" );
486- }
487- else {
488- final JLabel keyLabel = new JLabel ("<html>" +
489- "<strong style=\" color: gray;\" >" + k +
490- " </strong>" );
491- keyLabel .setFont (smaller (keyLabel .getFont (), 1 ));
492- detailsProps .add (keyLabel , "growx, pad 0 0 10 0" );
493- final JTextArea valueField = new JTextArea ();
494- valueField .setText (v );
495- valueField .setLineWrap (true );
496- valueField .setWrapStyleWord (true );
497- valueField .setEditable (false );
498- valueField .setBackground (null );
499- valueField .setBorder (null );
500- detailsProps .add (valueField , "growx, wmax 100%" );
501- }
469+ if (v == "" ) return ;
470+ if (k == null ) {
471+ final JTextPane textPane = new JTextPane ();
472+ textPane .setContentType ("text/html" );
473+ textPane .setText (highlightSearchBold (v , searchText ));
474+ final Font font = UIManager .getFont ("Label.font" );
475+ final String bodyRule = "body { font-family: " + //
476+ font .getFamily () + "; " + "font-size: " + font .getSize () +
477+ "pt; }" ;
478+ ((HTMLDocument ) textPane .getDocument ()).getStyleSheet ().addRule (
479+ bodyRule );
480+ textPane .setBorder (BorderFactory .createCompoundBorder (
481+ BorderFactory .createMatteBorder (1 , 0 , 1 , 0 , Color .DARK_GRAY ),
482+ BorderFactory .createEmptyBorder (PAD , 0 , PAD , 0 )));
483+ textPane .setEditable (false );
484+ textPane .setOpaque (false );
485+ detailsProps .add (textPane , "growx, wmax 100%" );
486+ }
487+ else {
488+ final JLabel keyLabel = new JLabel ("<html>" +
489+ "<strong style=\" color: gray;\" >" + k +
490+ " </strong>" );
491+ keyLabel .setFont (smaller (keyLabel .getFont (), 1 ));
492+ detailsProps .add (keyLabel , "growx, pad 0 0 10 0" );
493+ final JTextArea valueField = new JTextArea ();
494+ valueField .setText (v );
495+ valueField .setLineWrap (true );
496+ valueField .setWrapStyleWord (true );
497+ valueField .setEditable (false );
498+ valueField .setBackground (null );
499+ valueField .setBorder (null );
500+ detailsProps .add (valueField , "growx, wmax 100%" );
502501 }
503502 });
504503 detailsButtons .removeAll ();
0 commit comments