mirror of
https://github.com/emilk/egui.git
synced 2026-08-29 21:00:03 -04:00
* Rename `StyleProvider::theme_type_id` to `type_id` * Reword the `Ui::widget_style` docstring Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>