mmo-ref/mc-hmcl
1
0
Fork 0
mirror of https://github.com/HMCL-dev/HMCL synced 2026-08-19 22:23:08 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[Enhancement] enhance html spacing (#6617)

Browse source
This commit is contained in:
ToobLac 2026-08-09 20:05:28 +08:00 • committed by GitHub
parent ff459a5bc4
commit c149401cf3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 28 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

37
HMCL/src/main/java/org/jackhuang/hmcl/ui/HTMLRenderer.java
View file

@ -454,7 +454,7 @@ public final class HTMLRenderer {
appendAutoLineBreak("\n\n");
}
case "hr" -> {
appendAutoLineBreak("\n");
appendAutoLineBreak("\n\n");
this.children.add(new Separator());
}
}
@ -512,16 +512,34 @@ public final class HTMLRenderer {
}
}
}
int size = children.size();
for (int i = 0; i < size; i++) {
var child = children.get(i);
if (child instanceof AutoLineBreak || (child instanceof Text txt && isSpacing(txt.getText()))) {
// do nothing
} else {
children.subList(0, i).clear();
break;
{
// Remove empty lines at the beginning
int size = children.size();
for (int i = 0; i < size; i++) {
var child = children.get(i);
if (child instanceof AutoLineBreak || child instanceof Text txt && isSpacing(txt.getText())) {
// NO-OP
} else {
this.children.subList(0, i).clear();
break;
}
}
}
{
// Remove empty lines and spaces at the end
int size = children.size();
for (int i = size - 1; i > -1; i--) {
var child = children.get(i);
if (child instanceof AutoLineBreak || child instanceof Text txt && isSpacing(txt.getText())) {
// NO-OP
} else {
this.children.subList(i + 1, size).clear();
break;
}
}
}
return this;
}
@ -537,6 +555,7 @@ public final class HTMLRenderer {
InvalidationListener listener = __ -> img.setFitWidth(Math.min(textFlow.getWidth() * 0.9, img.getImage() == null ? 0D : img.getImage().getWidth()));
textFlow.widthProperty().addListener(listener);
img.imageProperty().addListener(listener);
listener.invalidated(null);
} else if (node instanceof TableView<?> table) {
table.prefWidthProperty().bind(textFlow.widthProperty().multiply(0.8));
} else if (node instanceof CodeFlow codeFlow) {