mirror of
https://github.com/slint-ui/slint.git
synced 2025-08-04 18:58:36 +00:00
chore: A few clippy fixes
Nothing systeamatic, just a bunch of fixes I stumbled over during unrelated work. No behavior change is intended in here...
This commit is contained in:
parent
6070324848
commit
d0b58760d3
19 changed files with 53 additions and 60 deletions
|
@ -468,7 +468,7 @@ fn gen_corelib(
|
|||
// slint_timer_internal.h:
|
||||
let timer_config = {
|
||||
let mut tmp = config.clone();
|
||||
tmp.export.include = vec![
|
||||
tmp.export.include = [
|
||||
"TimerMode",
|
||||
"slint_timer_start",
|
||||
"slint_timer_singleshot",
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue