# HG changeset patch
# User wenzelm
# Date 1734437695 -3600
# Node ID 7205393c0775eca1a882ec8fd9c628f43b0fa6f3
# Parent  ebf954ceb4d1193e05bab852d24c32ad81689dd0
more robust: prefer official BasicSplitPaneUI operations;

diff -r ebf954ceb4d1 -r 7205393c0775 src/Tools/jEdit/src/output_area.scala
--- a/src/Tools/jEdit/src/output_area.scala	Tue Dec 17 12:36:37 2024 +0100
+++ b/src/Tools/jEdit/src/output_area.scala	Tue Dec 17 13:14:55 2024 +0100
@@ -14,13 +14,12 @@
   HierarchyListener, HierarchyEvent, MouseEvent, MouseAdapter}
 import javax.swing.{JComponent, JButton}
 import javax.swing.event.{TreeSelectionListener, TreeSelectionEvent}
+import javax.swing.plaf.basic.BasicSplitPaneUI
 
 import scala.util.matching.Regex
 import scala.swing.{Component, ScrollPane, SplitPane, Orientation}
 import scala.swing.event.ButtonClicked
 
-import com.formdev.flatlaf.ui.FlatSplitPaneUI
-
 import org.gjt.sp.jedit.View
 
 
@@ -142,14 +141,22 @@
 
   def split_pane_layout(open: Boolean = search_activated): Unit = {
     split_pane.peer.getUI match {
-      case ui: FlatSplitPaneUI =>
+      case ui: BasicSplitPaneUI =>
         val div = ui.getDivider
 
-        // operations from protected FlatSplitPaneUI.FlatSplitPaneDivider
-        val left_collapsed =
-          Untyped.the_method(div.getClass, "isLeftCollapsed").invoke(div) == java.lang.Boolean.TRUE
-        val right_collapsed =
-          Untyped.the_method(div.getClass, "isRightCollapsed").invoke(div) == java.lang.Boolean.TRUE
+        val orientation = split_pane.orientation
+        val location = split_pane.dividerLocation
+        val insets = split_pane.peer.getInsets
+
+        val (left_collapsed, right_collapsed) =
+          if (orientation == Orientation.Vertical) {
+            (location == insets.left,
+              location == (split_pane.peer.getWidth - div.getWidth - insets.right))
+          }
+          else {
+            (location == insets.top,
+              location == (split_pane.peer.getHeight - div.getHeight - insets.bottom))
+          }
 
         def click(i: Int): Unit = {
           val comp =