7221c29d9b
Use Shift and navigation key (cursor, home, end) to select a portion of text, and replace/delete/cut as appropriate. Also provides support for selection with mouse (click and drag)
10 lines
302 B
YAML
10 lines
302 B
YAML
# General dumping-ground for UI element sizes, etc.
|
|
|
|
Metrics:
|
|
ButtonDepth: 0
|
|
ButtonFont: Bold
|
|
CheckboxPressedState: true
|
|
ColorPickerActorType: fact.colorpicker
|
|
ColorPickerRemapIndices: 176, 178, 180, 182, 184, 186, 189, 191, 177, 179, 181, 183, 185, 187, 188, 190
|
|
TextfieldColorHighlight: 800000
|