diff options
author | Dorian Birsan | 2003-02-28 22:59:06 +0000 |
---|---|---|
committer | Dorian Birsan | 2003-02-28 22:59:06 +0000 |
commit | 4a41d148ac29f038b1935706611f691484af595d (patch) | |
tree | bf9a9dde3607f7a0ab7e5692e272330df0558022 /org.eclipse.help.webapp/advanced/toolbar.jsp | |
parent | 77ecc10b7e2b5d5b8e31c1c77e58a5c4f78145de (diff) | |
download | eclipse.platform.ua-4a41d148ac29f038b1935706611f691484af595d.tar.gz eclipse.platform.ua-4a41d148ac29f038b1935706611f691484af595d.tar.xz eclipse.platform.ua-4a41d148ac29f038b1935706611f691484af595d.zip |
fixes for bug 32501 and 32502
Diffstat (limited to 'org.eclipse.help.webapp/advanced/toolbar.jsp')
-rw-r--r-- | org.eclipse.help.webapp/advanced/toolbar.jsp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.help.webapp/advanced/toolbar.jsp b/org.eclipse.help.webapp/advanced/toolbar.jsp index d215891e7..65a591e88 100644 --- a/org.eclipse.help.webapp/advanced/toolbar.jsp +++ b/org.eclipse.help.webapp/advanced/toolbar.jsp @@ -96,7 +96,8 @@ if (data.isIE()) { </style> <% -if (data.isMozilla() && "contents".equals(request.getParameter("view"))) { +// workaround for adding right border on mozilla (ugly..) +if (data.isMozilla() && "content".equals(request.getParameter("toolbar"))) { %> <style type="text/css"> |