mirror of
https://github.com/slint-ui/slint.git
synced 2025-10-28 02:39:42 +00:00
c25d15c3d2
... for the duration of the session. How can we save those colors? Recent colors change a lot, we probably do not want that stored inside the git repository hosting the slint files... and this is probably "personal data" and nor "project data" in the first place. |
||
|---|---|---|
| .. | ||
| widgets | ||
| body-strong-text.slint | ||
| body-text.slint | ||
| diagnostics-overlay.slint | ||
| draggable-panel.slint | ||
| expandable-group.slint | ||
| expandable-listview.slint | ||
| group.slint | ||
| header-text.slint | ||
| icon-button.slint | ||
| layout-helpers.slint | ||
| out-of-date-box.slint | ||
| property-widgets.slint | ||
| resizer.slint | ||
| selection-popup.slint | ||
| spreadsheet-dialog.slint | ||
| spreadsheet.slint | ||
| state-layer.slint | ||
| status-line.slint | ||
| styling.slint | ||