diff options
author | Chris Austin | 2011-01-19 22:29:31 +0000 |
---|---|---|
committer | Chris Austin | 2011-01-19 22:29:31 +0000 |
commit | 87a124ec4516c840c96893bf7261f2b9fd00805b (patch) | |
tree | da529210538ca09888f27ff8dbb051757e9db5cc /org.eclipse.help.webapp/advanced | |
parent | 6f9183e580f684ba76d70ccf194f63008710d07e (diff) | |
download | eclipse.platform.ua-87a124ec4516c840c96893bf7261f2b9fd00805b.tar.gz eclipse.platform.ua-87a124ec4516c840c96893bf7261f2b9fd00805b.tar.xz eclipse.platform.ua-87a124ec4516c840c96893bf7261f2b9fd00805b.zip |
Bug 320669 - [Help][Search] Allow pre-processesing steps to the Help Search button
Diffstat (limited to 'org.eclipse.help.webapp/advanced')
-rw-r--r-- | org.eclipse.help.webapp/advanced/searchList.css | 4 | ||||
-rw-r--r-- | org.eclipse.help.webapp/advanced/searchView.jsp | 9 |
2 files changed, 11 insertions, 2 deletions
diff --git a/org.eclipse.help.webapp/advanced/searchList.css b/org.eclipse.help.webapp/advanced/searchList.css index 19cc1523d..cb98521d6 100644 --- a/org.eclipse.help.webapp/advanced/searchList.css +++ b/org.eclipse.help.webapp/advanced/searchList.css @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2010 IBM Corporation and others. + * Copyright (c) 2000, 2011 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 @@ -49,7 +49,7 @@ a:hover { margin-top:7px; } -.active { +.results .active { background:Highlight; color:HighlightText; width:100%; diff --git a/org.eclipse.help.webapp/advanced/searchView.jsp b/org.eclipse.help.webapp/advanced/searchView.jsp index a97bc1738..336937cea 100644 --- a/org.eclipse.help.webapp/advanced/searchView.jsp +++ b/org.eclipse.help.webapp/advanced/searchView.jsp @@ -90,6 +90,15 @@ function onShow() { <body dir="<%=direction%>"> <% + String preResults = data.getPreProcessorResults(); + + if (!preResults.equals("")) + { + out.write(preResults); + out.write("<HR/>"); + } + + if (!data.isSearchRequest()) { out.write(ServletResources.getString("doSearch", request)); } else if (data.getQueryExceptionMessage()!=null) { |