--- a/src/Pure/GUI/gui.scala Sun Nov 03 22:29:07 2024 +0100
+++ b/src/Pure/GUI/gui.scala Mon Nov 04 11:21:04 2024 +0100
@@ -51,7 +51,6 @@
// see https://www.formdev.com/flatlaf/customizing
UIManager.put("Component.arrowType", "triangle")
- UIManager.put("ScrollBar.showButtons", true)
}