|
|
@ -85,7 +85,15 @@ import javax.swing.Timer; |
|
|
|
import javax.swing.UIManager; |
|
|
|
import javax.swing.UIManager; |
|
|
|
import javax.swing.event.ChangeEvent; |
|
|
|
import javax.swing.event.ChangeEvent; |
|
|
|
import javax.swing.event.ChangeListener; |
|
|
|
import javax.swing.event.ChangeListener; |
|
|
|
import java.awt.*; |
|
|
|
import java.awt.BorderLayout; |
|
|
|
|
|
|
|
import java.awt.CardLayout; |
|
|
|
|
|
|
|
import java.awt.Color; |
|
|
|
|
|
|
|
import java.awt.Component; |
|
|
|
|
|
|
|
import java.awt.Dialog; |
|
|
|
|
|
|
|
import java.awt.Dimension; |
|
|
|
|
|
|
|
import java.awt.FlowLayout; |
|
|
|
|
|
|
|
import java.awt.Font; |
|
|
|
|
|
|
|
import java.awt.Window; |
|
|
|
import java.awt.event.ActionEvent; |
|
|
|
import java.awt.event.ActionEvent; |
|
|
|
import java.awt.event.ActionListener; |
|
|
|
import java.awt.event.ActionListener; |
|
|
|
import java.awt.event.KeyAdapter; |
|
|
|
import java.awt.event.KeyAdapter; |
|
|
@ -277,7 +285,7 @@ public class PreferencePane extends BasicPane { |
|
|
|
JPanel contentPane = this; |
|
|
|
JPanel contentPane = this; |
|
|
|
contentPane.setLayout(FRGUIPaneFactory.createBorderLayout()); |
|
|
|
contentPane.setLayout(FRGUIPaneFactory.createBorderLayout()); |
|
|
|
UITabbedPane tabPane = new UITabbedPane(); |
|
|
|
UITabbedPane tabPane = new UITabbedPane(); |
|
|
|
contentPane.add(tabPane, BorderLayout.NORTH); |
|
|
|
contentPane.add(tabPane, BorderLayout.CENTER); |
|
|
|
// 常用面板
|
|
|
|
// 常用面板
|
|
|
|
JPanel generalPane = column(SETTING_V_GAP, |
|
|
|
JPanel generalPane = column(SETTING_V_GAP, |
|
|
|
// 功能设置
|
|
|
|
// 功能设置
|
|
|
@ -416,10 +424,9 @@ public class PreferencePane extends BasicPane { |
|
|
|
|
|
|
|
|
|
|
|
@NotNull |
|
|
|
@NotNull |
|
|
|
private UIScrollPane patchScroll(JPanel generalPane) { |
|
|
|
private UIScrollPane patchScroll(JPanel generalPane) { |
|
|
|
JPanel wrapperPane = FRGUIPaneFactory.createBorderLayout_S_Pane(); |
|
|
|
UIScrollPane uiScrollPane = new UIScrollPane(generalPane, ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER); |
|
|
|
wrapperPane.add(generalPane); |
|
|
|
uiScrollPane.setBorder(new ScaledEmptyBorder(10, 10, 10, 10)); |
|
|
|
wrapperPane.setBorder(new ScaledEmptyBorder(10, 10, 10, 10)); |
|
|
|
return uiScrollPane; |
|
|
|
return new UIScrollPane(wrapperPane, ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER); |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
private void createVcsSettingPane(JPanel generalPane, JPanel parentPane, CardLayout cardLayout) { |
|
|
|
private void createVcsSettingPane(JPanel generalPane, JPanel parentPane, CardLayout cardLayout) { |
|
|
|