Java DisplayOptions.isUpdateUIEventの例

コード例 #1

ファイル: GLDemo.java プロジェクト: timburrow/OpenVnmrJ

 public void propertyChange(PropertyChangeEvent evt) {
   if (DisplayOptions.isUpdateUIEvent(evt)) {
     SwingUtilities.updateComponentTreeUI(this);
     gradientPanel.remove(drawable);
     JPanel newpanel = createGradientPanel();
     contentPane.remove(gradientPanel);
     gradientPanel = newpanel;
     gradientPanel.add(drawable, BorderLayout.CENTER);
     contentPane.add(gradientPanel, BorderLayout.CENTER);
   }
 }

コード例 #2

ファイル: ModelessDialog.java プロジェクト: timburrow/ovj3

 /** PropertyChangeListener interface */
 public void propertyChange(PropertyChangeEvent evt) {
   if (DisplayOptions.isUpdateUIEvent(evt)) SwingUtilities.updateComponentTreeUI(this);
 }