app_page.dart
|
Change prefixes and add check_strings.py
|
2023-03-02 12:45:55 +01:00 |
device_avatar.dart
|
Theme tweaks.
|
2023-02-07 14:01:17 +01:00 |
device_button.dart
|
[Android] use different tooltip
|
2023-03-14 10:20:02 +01:00 |
device_error_screen.dart
|
Introduce switch expressions.
|
2023-05-22 11:52:49 +02:00 |
device_picker_dialog.dart
|
Introduce switch expressions.
|
2023-05-22 11:52:49 +02:00 |
graphics.dart
|
license notice update in source files
|
2022-10-04 12:12:54 +02:00 |
main_drawer.dart
|
Introduce switch expressions.
|
2023-05-22 11:52:49 +02:00 |
main_page.dart
|
Introduce switch expressions.
|
2023-05-22 11:52:49 +02:00 |
message_page.dart
|
revert non-changes
|
2023-02-09 10:14:31 +01:00 |
settings_page.dart
|
Introduce switch expressions.
|
2023-05-22 11:52:49 +02:00 |
user_interaction.dart
|
Add notification support.
|
2023-02-24 14:17:14 +01:00 |