|
Lines 1-5
Link Here
|
| 1 |
<%-- |
1 |
<%-- |
| 2 |
Copyright (c) 2000, 2004 IBM Corporation and others. |
2 |
Copyright (c) 2000, 2007 IBM Corporation and others. |
| 3 |
All rights reserved. This program and the accompanying materials |
3 |
All rights reserved. This program and the accompanying materials |
| 4 |
are made available under the terms of the Eclipse Public License v1.0 |
4 |
are made available under the terms of the Eclipse Public License v1.0 |
| 5 |
which accompanies this distribution, and is available at |
5 |
which accompanies this distribution, and is available at |
|
Lines 123-138
Link Here
|
| 123 |
var isMozilla = navigator.userAgent.toLowerCase().indexOf('mozilla') != -1 && parseInt(navigator.appVersion.substring(0,1)) >= 5; |
123 |
var isMozilla = navigator.userAgent.toLowerCase().indexOf('mozilla') != -1 && parseInt(navigator.appVersion.substring(0,1)) >= 5; |
| 124 |
|
124 |
|
| 125 |
var advancedDialog; |
125 |
var advancedDialog; |
| 126 |
var w = 300; |
|
|
| 127 |
var h = 300; |
| 128 |
|
126 |
|
| 129 |
function openAdvanced() |
127 |
function openAdvanced() |
| 130 |
{ |
128 |
{ |
| 131 |
var scope = document.getElementById("scope").firstChild; |
129 |
var scope = document.getElementById("scope").firstChild; |
| 132 |
var workingSet = ""; |
130 |
var workingSet = ""; |
| 133 |
if (scope != null) |
131 |
if (scope != null) |
| 134 |
workingSet = document.getElementById("scope").firstChild.nodeValue; |
132 |
workingSet = document.getElementById("scope").firstChild.nodeValue; |
| 135 |
|
133 |
var minSize = 300; |
|
|
134 |
var maxHeight= 500; |
| 135 |
var maxWidth = 600; |
| 136 |
var w = minSize; |
| 137 |
var h = minSize; |
| 138 |
|
| 139 |
// If we have large fonts make the dialog larger, up to 500 pixels high, 600 wide |
| 140 |
try { |
| 141 |
var letterHeight = document.getElementById("searchWord").offsetHeight; |
| 142 |
var requiredSize = 16 * letterHeight; |
| 143 |
if (requiredSize > minSize) { |
| 144 |
if (requiredSize < maxWidth) { |
| 145 |
w = requiredSize; |
| 146 |
} else { |
| 147 |
w = maxWidth; |
| 148 |
} |
| 149 |
if (requiredSize < maxHeight) { |
| 150 |
h = requiredSize; |
| 151 |
} else { |
| 152 |
h = maxHeight; |
| 153 |
} |
| 154 |
} |
| 155 |
|
| 156 |
} catch (e) {} |
| 157 |
|
| 136 |
<% |
158 |
<% |
| 137 |
if (data.isIE()){ |
159 |
if (data.isIE()){ |
| 138 |
%> |
160 |
%> |
