* Fixed theme selection bug
* Change AdempiereLookAndFeel to extend Plastic3D instead of Plastic * Remove redundant Plastic look and feel from the supported list since AdempiereLookAndFeel extend Plastic * Fixed AdempiereLookAndFeel can't use standard PlasticTheme bug * Make flat toolbar the default * Improved painting after changing of look and feel or theme. Alternatively, logout after change of theme.
This commit is contained in:
parent
25f20849ed
commit
91cfbba120
|
@ -23,6 +23,7 @@ import java.sql.*;
|
||||||
import java.util.*;
|
import java.util.*;
|
||||||
import java.util.logging.*;
|
import java.util.logging.*;
|
||||||
import javax.swing.*;
|
import javax.swing.*;
|
||||||
|
|
||||||
import org.compiere.*;
|
import org.compiere.*;
|
||||||
import org.compiere.db.*;
|
import org.compiere.db.*;
|
||||||
import org.compiere.model.*;
|
import org.compiere.model.*;
|
||||||
|
@ -1441,13 +1442,29 @@ public final class Env
|
||||||
Window w = getFrame(c);
|
Window w = getFrame(c);
|
||||||
if (w == null) continue;
|
if (w == null) continue;
|
||||||
if (updated.contains(w)) continue;
|
if (updated.contains(w)) continue;
|
||||||
SwingUtilities.updateComponentTreeUI(c);
|
SwingUtilities.updateComponentTreeUI(w);
|
||||||
|
w.validate();
|
||||||
|
RepaintManager mgr = RepaintManager.currentManager(w);
|
||||||
|
Component childs[] = w.getComponents();
|
||||||
|
for (Component child : childs) {
|
||||||
|
if (child instanceof JComponent)
|
||||||
|
mgr.markCompletelyDirty((JComponent)child);
|
||||||
|
}
|
||||||
|
w.repaint();
|
||||||
updated.add(w);
|
updated.add(w);
|
||||||
}
|
}
|
||||||
for (Window w : s_hiddenWindows)
|
for (Window w : s_hiddenWindows)
|
||||||
{
|
{
|
||||||
if (updated.contains(w)) continue;
|
if (updated.contains(w)) continue;
|
||||||
SwingUtilities.updateComponentTreeUI(w);
|
SwingUtilities.updateComponentTreeUI(w);
|
||||||
|
w.validate();
|
||||||
|
RepaintManager mgr = RepaintManager.currentManager(w);
|
||||||
|
Component childs[] = w.getComponents();
|
||||||
|
for (Component child : childs) {
|
||||||
|
if (child instanceof JComponent)
|
||||||
|
mgr.markCompletelyDirty((JComponent)child);
|
||||||
|
}
|
||||||
|
w.repaint();
|
||||||
updated.add(w);
|
updated.add(w);
|
||||||
}
|
}
|
||||||
return updated;
|
return updated;
|
||||||
|
|
Loading…
Reference in New Issue