Ensure the details pane is refreshed as needed

ctrueden · ctrueden · commit 243aa3a66205 · 2017-12-28T14:46:29.000-06:00
diff --git a/src/main/java/org/scijava/ui/swing/search/SwingSearchBar.java b/src/main/java/org/scijava/ui/swing/search/SwingSearchBar.java
@@ -457,6 +457,8 @@ public void mouseMoved(final MouseEvent e) {
 					detailsTitle.setText("");
 					detailsProps.removeAll();
 					detailsButtons.removeAll();
+					detailsPane.validate();
+					detailsPane.repaint();
 					return;
 				}
 				// populate details pane
@@ -523,6 +525,8 @@ public void mouseMoved(final MouseEvent e) {
 						detailsButtons.add(button, "growx");
 					}
 				}
+				detailsPane.validate();
+				detailsPane.repaint();
 			});
 
 			detailsPane.add(buttons, "pos n 0 100% n");

Original file line number	Diff line number	Diff line change
`@@ -457,6 +457,8 @@ public void mouseMoved(final MouseEvent e) {`
`457`	`457`	`detailsTitle.setText("");`
`458`	`458`	`detailsProps.removeAll();`
`459`	`459`	`detailsButtons.removeAll();`
	`460`	`+ detailsPane.validate();`
	`461`	`+ detailsPane.repaint();`
`460`	`462`	`return;`
`461`	`463`	`}`
`462`	`464`	`// populate details pane`
`@@ -523,6 +525,8 @@ public void mouseMoved(final MouseEvent e) {`
`523`	`525`	`detailsButtons.add(button, "growx");`
`524`	`526`	`}`
`525`	`527`	`}`
	`528`	`+ detailsPane.validate();`
	`529`	`+ detailsPane.repaint();`
`526`	`530`	`});`
`527`	`531`
`528`	`532`	`detailsPane.add(buttons, "pos n 0 100% n");`