修复无法使用部分日志字体的问题 (#4096)

This commit is contained in:
Glavo 2025-07-19 14:56:31 +08:00 committed by GitHub
parent bab863287d
commit cbb83d4f15
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -307,8 +307,8 @@ public final class LogWindow extends Stage {
listView.scrollTo(listView.getItems().size() - 1);
});
listView.setStyle("-fx-font-family: " + Lang.requireNonNullElse(config().getFontFamily(), FXUtils.DEFAULT_MONOSPACE_FONT)
+ "; -fx-font-size: " + config().getFontSize() + "px;");
listView.setStyle("-fx-font-family: \"" + Lang.requireNonNullElse(config().getFontFamily(), FXUtils.DEFAULT_MONOSPACE_FONT)
+ "\"; -fx-font-size: " + config().getFontSize() + "px;");
Holder<Object> lastCell = new Holder<>();
listView.setCellFactory(x -> new ListCell<Log>() {
{