Attachment 61719 Details for Bug 172915 – Patch for 3.3

[patch] Patch for 3.3

patch172915.txt (text/plain), 2.23 KB, created by Chris Goldthorpe

on 2007-03-22 14:10:25 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Chris Goldthorpe

Created: 2007-03-22 14:10:25 EDT

Size: 2.23 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.help.webapp
>Index: advanced/searchScoped.jsp
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.help.webapp/advanced/searchScoped.jsp,v
>retrieving revision 1.16
>diff -u -r1.16 searchScoped.jsp
>--- advanced/searchScoped.jsp	12 Jan 2007 19:38:35 -0000	1.16
>+++ advanced/searchScoped.jsp	22 Mar 2007 18:02:46 -0000
>@@ -1,5 +1,5 @@
> <%--
>- Copyright (c) 2000, 2004 IBM Corporation and others.
>+ Copyright (c) 2000, 2007 IBM Corporation and others.
>  All rights reserved. This program and the accompanying materials 
>  are made available under the terms of the Eclipse Public License v1.0
>  which accompanies this distribution, and is available at
>@@ -123,16 +123,38 @@
> var isMozilla = navigator.userAgent.toLowerCase().indexOf('mozilla') != -1 && parseInt(navigator.appVersion.substring(0,1)) >= 5;
> 
> var advancedDialog;
>-var w = 300;
>-var h = 300;
> 
>-function openAdvanced()
>-{
>-	var scope = document.getElementById("scope").firstChild;
>-	var workingSet = "";
>-	if (scope != null)
>-	 	workingSet = document.getElementById("scope").firstChild.nodeValue;
>-	 	
>+function openAdvanced() 
>+{ 
>+    var scope = document.getElementById("scope").firstChild;
>+    var workingSet = ""; 
>+    if (scope != null) 
>+              workingSet = document.getElementById("scope").firstChild.nodeValue;                
>+    var minSize = 300; 
>+    var maxHeight= 500;  
>+    var maxWidth = 600;       
>+    var w = minSize; 
>+    var h = minSize; 
>+      
>+    // If we have large fonts make the dialog larger, up to 500 pixels high, 600 wide
>+    try {         
>+        var letterHeight = document.getElementById("searchWord").offsetHeight; 
>+        var requiredSize = 16 * letterHeight; 
>+        if (requiredSize > minSize) { 
>+            if (requiredSize < maxWidth) { 
>+                w = requiredSize; 
>+            } else { 
>+                w =  maxWidth; 
>+            }
>+            if (requiredSize < maxHeight) { 
>+                h = requiredSize; 
>+            } else {               
>+                h = maxHeight;
>+            }
>+        } 
>+             
>+    } catch (e) {} 
>+    
> <%
> if (data.isIE()){
> %>

Actions: View | Diff

Attachments on bug 172915: 58280 | 58281 | 58282 | 61719 | 62312