mirror/WorldEdit
2
0
Fork 0
mirror of https://github.com/EngineHub/WorldEdit.git synced 2024-12-15 04:41:37 +08:00
Code Issues Packages Projects Releases Wiki Activity

Better spacing for section headers.

Browse Source
This commit is contained in:
wizjany 2019-06-05 10:39:10 -04:00
parent 34020f7bd2
commit b7e329bc1b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
worldedit-core/src/main/java/com/sk89q/worldedit/internal/util/DocumentationPrinter.java
View File

@ -350,7 +350,7 @@ private CommandManager createManager() {
}
private void dumpSection(String title, CommandManager manager) {
cmdOutput.append(title).append("\n").append(Strings.repeat("~", title.length())).append("\n\n");
cmdOutput.append("\n").append(title).append("\n").append(Strings.repeat("~", title.length())).append("\n");
String prefix = TextConfig.getCommandPrefix();