Changeset 1681 for trunk/gsdl/src/phind/client
- Timestamp:
- 2000-11-20T16:38:13+13:00 (24 years ago)
- Location:
- trunk/gsdl/src/phind/client
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gsdl/src/phind/client/ResultCanvas.java
r1680 r1681 213 213 214 214 // calculate the canvas size, margins, and spacing 215 Dimension canvasSize = getSize(); 215 216 // Note: the size() method is deprecated, but getSize fails in NetScape 4 217 // Dimension canvasSize = getSize(); 218 Dimension canvasSize = size(); 216 219 217 220 g.setFont(areaPlain); … … 443 446 url = new URL(address); 444 447 System.out.println("URL selected: " + url.toString()); 445 phind.getAppletContext().showDocument(url , "phindselect");448 phind.getAppletContext().showDocument(url); 446 449 } catch (Exception e) { 447 450 System.out.println("URL error: " + e.toString()); -
trunk/gsdl/src/phind/client/ResultTitle.java
r1626 r1681 67 67 bold = phind.boldFont; 68 68 69 Dimension d = getSize(); 69 // Note: the size() and resize() methods are deprecated, but the newer 70 // getSize() and setSize() methods fail in NetScape 4 71 //Dimension d = getSize(); 72 Dimension d = size(); 70 73 d.height = phind.fontSize + 10; 71 setSize(d); 74 //setSize(d); 75 resize(d); 72 76 73 77 } … … 80 84 81 85 // calculate the canvas size, margins, and spacing 82 Dimension canvasSize = getSize();86 Dimension canvasSize = size(); 83 87 84 88 g.setFont(plain); … … 86 90 int y = phind.fontSize + 5; 87 91 88 int rightMargin = canvas. getSize().width;92 int rightMargin = canvas.size().width; 89 93 int secondColumn = rightMargin - margin; 90 94 int firstColumn = secondColumn - margin;
Note:
See TracChangeset
for help on using the changeset viewer.