fix mistype in html+ increase space between elements

This commit is contained in:
Konstantin Bulenkov
2014-07-18 19:20:03 +02:00
parent 2dc1b7cbe1
commit 5cc3a16d56
@@ -67,11 +67,11 @@ public class ErrorPaneConfigurable extends JPanel implements Configurable, Dispo
"<header><style type='text/css'>" +
"body {" +
" color: #333333;" +
" font-family: '" + UIUtil.getLabelFont().getName() + "';" +
" font-family: '" + UIUtil.getLabelFont().getName() + ",serif';" +
" font-size: " + UIUtil.getLabelFont().getSize() + ";" +
"}" +
"li {" +
" margin-bottom: 3;" +
" margin-bottom: 5;" +
"}" +
"ol {" +
"}" +
@@ -79,7 +79,7 @@ public class ErrorPaneConfigurable extends JPanel implements Configurable, Dispo
" text-decoration: none;" +
"}" +
"</style>" +
"</headear>" +
"</header>" +
"<body>";
int i = 0;
html += "<ol>";
@@ -96,7 +96,7 @@ public class ErrorPaneConfigurable extends JPanel implements Configurable, Dispo
description = "Module <a href='module://" + moduleName + "'>" + moduleName + "</a> " + description.substring(end + 1);
}
if (error.canBeFixed()) {
description += " <a href='fix://" + i + "'>Fix</a>";
description += " <a href='fix://" + i + "'>[Fix]</a>";
}
html+= "<li>" + description + "</li>";
}