|
content
|
remove extra construction
|
2025-01-17 04:56:01 +02:00 |
|
input
|
remove extra folding
|
2025-01-22 08:04:51 +02:00 |
|
navigation
|
apply clippy optimizations
|
2025-01-21 15:06:49 +02:00 |
|
search
|
implement Default traits
|
2025-01-12 14:08:30 +02:00 |
|
error.rs
|
handle bookmark toggle action results
|
2024-11-14 12:48:58 +02:00 |
|
input.rs
|
return reference to counter Label
|
2025-01-22 07:55:31 +02:00 |
|
search.rs
|
implement Default traits
|
2025-01-12 14:08:30 +02:00 |
|
widget.rs
|
rename constructors
|
2025-01-15 00:25:33 +02:00 |