Paul Chote f65de2dd43 Merge ColorPreviewManagerWidget into ColorPickerManager.

2021-05-15 15:29:46 +02:00

..

chrome-2x.png

…

chrome-3x.png

…

chrome.png

…

chrome.yaml

Unify widget state image suffixes (disabled, pressed, hover, focus)

2020-07-05 11:50:45 +01:00

content.yaml

…

cursor.png

…

cursors.yaml

…

metrics.yaml

Merge ColorPreviewManagerWidget into ColorPickerManager.

2021-05-15 15:29:46 +02:00

mod.yaml

Add plumbing for mod-defined terrain loaders.

2021-01-11 21:57:55 +01:00

notifications.yaml

…

rules.yaml

…