2024-03-21 17:32:22 +00:00
|
|
|
# ---- General settings for all themes ----
|
|
|
|
|
|
|
|
|
|
RootPane.titleBarShowIcon = true
|
|
|
|
|
RootPane.useWindowDecorations = true
|
|
|
|
|
TabbedPane.showTabSeparators = true
|
|
|
|
|
TabbedPane.showContentSeparator = true
|
|
|
|
|
|
|
|
|
|
Tree.paintLines = true
|
|
|
|
|
Tree.showCellFocusIndicator = true
|
|
|
|
|
Tree.wideSelection = true
|
|
|
|
|
Tree.paintSelection = true
|
2024-07-17 01:35:47 +10:00
|
|
|
Tree.textForeground.hidden.dark = darken($Tree.textForeground, 25%)
|
|
|
|
|
Tree.textForeground.hidden.light = lighten($Tree.textForeground, 25%)
|
2024-03-21 17:32:22 +00:00
|
|
|
|
|
|
|
|
# Margin as top,left,bottom,right
|
2024-04-10 01:20:59 +02:00
|
|
|
Tree.rendererMargins = 2, 0, 3, 0
|
2024-03-21 17:32:22 +00:00
|
|
|
|
|
|
|
|
TextArea.margin = 10, 10, 10, 10
|
|
|
|
|
ScrollPane.smoothScrolling = true
|
|
|
|
|
ScrollPane.border = info.openrocket.swing.gui.theme.ORScrollPaneBorder
|
|
|
|
|
|
|
|
|
|
Slider.trackWidth = 3
|
|
|
|
|
|
|
|
|
|
# Custom OpenRocket keys
|
|
|
|
|
OR.ScrollPane.borderColor = #000000
|
