Changeset 2030
- Timestamp:
- 2001-02-20T17:00:07+13:00 (23 years ago)
- Location:
- trunk/gsdl/src/phind/client
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gsdl/src/phind/client/Phind.java
r2026 r2030 648 648 649 649 // Colours 650 panel_fg = parameterValue("panel_fg", panel_fg);651 panel_bg = parameterValue("panel_bg", panel_bg);650 panel_fg = parameterValue("panel_fg", Color.black); 651 panel_bg = parameterValue("panel_bg", Color.white); 652 652 653 653 highlight_bg = parameterValue("highlight_bg", Color.yellow); -
trunk/gsdl/src/phind/client/PhindTitle.java
r1627 r2030 56 56 public void paint(Graphics g) { 57 57 Dimension canvasSize = size(); 58 58 59 Color fore = phind.panel_fg; 60 Color back = phind.panel_bg; 61 59 62 // set the screen background 60 63 if (phind.showImage) 61 64 try { 62 65 g.drawImage(phind.backgroundImage, 63 0, 0, canvasSize.width, canvasSize.height, Color.white, null);66 0, 0, canvasSize.width, canvasSize.height, back, null); 64 67 } catch (Exception e) { 65 68 System.err.println("PhindTitle paint: " + e); 66 69 } 67 70 else { 68 g.setColor( Color.white);71 g.setColor(back); 69 72 g.fillRect(0,0, canvasSize.width, canvasSize.height); 70 g.setColor(Color.black);71 73 } 72 }74 } 73 75 } 74 76
Note:
See TracChangeset
for help on using the changeset viewer.