45 |
import java.awt.Graphics; |
import java.awt.Graphics; |
46 |
import java.awt.Insets; |
import java.awt.Insets; |
47 |
import java.awt.LayoutManager; |
import java.awt.LayoutManager; |
48 |
|
import java.awt.Point; |
49 |
import java.awt.event.MouseAdapter; |
import java.awt.event.MouseAdapter; |
50 |
import java.awt.event.MouseEvent; |
import java.awt.event.MouseEvent; |
51 |
import java.awt.event.MouseMotionListener; |
import java.awt.event.MouseMotionListener; |
377 |
dividerSize = getSize(); |
dividerSize = getSize(); |
378 |
border.paintBorder(this, g, 0, 0, dividerSize.width, dividerSize.height); |
border.paintBorder(this, g, 0, 0, dividerSize.width, dividerSize.height); |
379 |
} |
} |
380 |
|
if (splitPane.isOneTouchExpandable()) |
381 |
|
{ |
382 |
|
((BasicArrowButton) rightButton).paint(g); |
383 |
|
((BasicArrowButton) leftButton).paint(g); |
384 |
|
} |
385 |
} |
} |
386 |
|
|
387 |
/** |
/** |