[fix][optimizer] update the in-dialog figure when the user clicks 'apply optimization'

This commit is contained in:
Daniel_M_Williams 2020-07-26 16:48:05 -04:00
parent d7c0e9d8ac
commit 9f8ed13713

View File

@ -908,6 +908,8 @@ public class GeneralOptimizationDialog extends JDialog {
src.removeChild(0); src.removeChild(0);
dest.addChild(c); dest.addChild(c);
} }
figure.repaint();
} finally { } finally {
dest.thaw(); dest.thaw();