diff options
author | Alexander Kurtakov | 2019-05-17 09:45:38 +0000 |
---|---|---|
committer | Alexander Kurtakov | 2019-05-17 09:45:38 +0000 |
commit | aea0031136762e7e671e9db33fd06fff6dfa7a59 (patch) | |
tree | be9c866d77d410665568bf7f365f08d394c299ca | |
parent | 8571b2cd36418c5786fc2d811004860114047e52 (diff) | |
download | eclipse.platform.ua-aea0031136762e7e671e9db33fd06fff6dfa7a59.tar.gz eclipse.platform.ua-aea0031136762e7e671e9db33fd06fff6dfa7a59.tar.xz eclipse.platform.ua-aea0031136762e7e671e9db33fd06fff6dfa7a59.zip |
Bug 546590 - Checkbox and javadoc overlap in help system edit scope
dialog
Hardcoding pixels like that is terrible idea as it makes it dependend on
user resolution and etc.
Change-Id: I508ee1144a5a7f551dfbdc209327b83b25fc0467
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
-rw-r--r-- | org.eclipse.help.webapp/advanced/workingSet.jsp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/org.eclipse.help.webapp/advanced/workingSet.jsp b/org.eclipse.help.webapp/advanced/workingSet.jsp index f516de3ae..8eac79917 100644 --- a/org.eclipse.help.webapp/advanced/workingSet.jsp +++ b/org.eclipse.help.webapp/advanced/workingSet.jsp @@ -157,8 +157,6 @@ input[type="checkbox"] { border:2px solid WindowText; margin:0px; padding:0px; - height:12px; - width:12px; } .grayed { |