forked from External/mage
Change all line endings to LF
This commit is contained in:
parent
13d9a56b7a
commit
430ae503c7
17069 changed files with 1263498 additions and 1263497 deletions
|
|
@ -1,40 +1,40 @@
|
|||
package mage.client.components;
|
||||
|
||||
//import com.sun.java.swing.Painter;
|
||||
|
||||
import java.awt.Color;
|
||||
import java.awt.Graphics2D;
|
||||
|
||||
import javax.swing.JDesktopPane;
|
||||
import javax.swing.UIDefaults;
|
||||
import javax.swing.UIManager;
|
||||
|
||||
import org.jdesktop.swingx.painter.Painter;
|
||||
|
||||
/**
|
||||
* Overrides JDesktopPane settings for Nimbus LAF.
|
||||
*
|
||||
* @author nantuko
|
||||
*/
|
||||
public class MageJDesktop extends JDesktopPane {
|
||||
|
||||
@Override
|
||||
public void updateUI() {
|
||||
if ("Nimbus".equals(UIManager.getLookAndFeel().getName())) {
|
||||
UIDefaults map = new UIDefaults();
|
||||
Painter painter = new Painter() {
|
||||
|
||||
Color color = null;
|
||||
|
||||
@Override
|
||||
public void paint(Graphics2D g, Object c, int w, int h) {
|
||||
g.setColor(color == null ? UIManager.getDefaults().getColor("desktop") : color);
|
||||
g.fillRect(0,0,w,h);
|
||||
}
|
||||
};
|
||||
map.put("DesktopPane[Enabled].backgroundPainter", painter);
|
||||
putClientProperty("Nimbus.Overrides", map);
|
||||
}
|
||||
super.updateUI();
|
||||
}
|
||||
}
|
||||
package mage.client.components;
|
||||
|
||||
//import com.sun.java.swing.Painter;
|
||||
|
||||
import java.awt.Color;
|
||||
import java.awt.Graphics2D;
|
||||
|
||||
import javax.swing.JDesktopPane;
|
||||
import javax.swing.UIDefaults;
|
||||
import javax.swing.UIManager;
|
||||
|
||||
import org.jdesktop.swingx.painter.Painter;
|
||||
|
||||
/**
|
||||
* Overrides JDesktopPane settings for Nimbus LAF.
|
||||
*
|
||||
* @author nantuko
|
||||
*/
|
||||
public class MageJDesktop extends JDesktopPane {
|
||||
|
||||
@Override
|
||||
public void updateUI() {
|
||||
if ("Nimbus".equals(UIManager.getLookAndFeel().getName())) {
|
||||
UIDefaults map = new UIDefaults();
|
||||
Painter painter = new Painter() {
|
||||
|
||||
Color color = null;
|
||||
|
||||
@Override
|
||||
public void paint(Graphics2D g, Object c, int w, int h) {
|
||||
g.setColor(color == null ? UIManager.getDefaults().getColor("desktop") : color);
|
||||
g.fillRect(0,0,w,h);
|
||||
}
|
||||
};
|
||||
map.put("DesktopPane[Enabled].backgroundPainter", painter);
|
||||
putClientProperty("Nimbus.Overrides", map);
|
||||
}
|
||||
super.updateUI();
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue