hermes-agent/flutter_wisetronic
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

phase3: nullable fields/methods, casts, ?.call, condition fixes across 11 files. 108->72

Browse Source
This commit is contained in:
peima
2026-08-01 01:16:25 +08:00
parent b8b70a87f9
commit 137eca4c69
12 changed files with 164 additions and 164 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lib/widgets/desktop/desktop_my_support.dart
View File

@@ -30,7 +30,7 @@ class DesktopMySupport extends StatefulWidget {
}
class DesktopMySupportState extends State<DesktopMySupport> {
late List<Ticket> tickets;
List<Ticket>? tickets;
double division = 3;
@@ -45,7 +45,7 @@ class DesktopMySupportState extends State<DesktopMySupport> {
void _onRefresh() {
_page = 1;
if (tickets != null) {
tickets.clear();
tickets!.clear();
} else {
tickets = [];
}
@@ -106,7 +106,7 @@ class DesktopMySupportState extends State<DesktopMySupport> {
enablePullUp: true,
header: WaterDropHeader(),
footer: CustomFooter(
builder: (BuildContext context, LoadStatus mode){
builder: (BuildContext context, LoadStatus? mode){
Widget footer;
if(mode == LoadStatus.idle) {
footer = Text(S.of(context).pull_up_to_load_more);
@@ -157,9 +157,9 @@ class DesktopMySupportState extends State<DesktopMySupport> {
right: 8.0,
),
child: tickets == null ? Text('') :
(tickets.length > 0 ?
(tickets!.length > 0 ?
Wrap(
children: tickets.map((a) => _getTicket(a)).toList(),
children: tickets!.map((a) => _getTicket(a)).toList(),
) :
Center(
child: Text(S.of(context).no_ticket_yet),
@@ -240,7 +240,7 @@ class DesktopMySupportState extends State<DesktopMySupport> {
mainAxisAlignment: MainAxisAlignment.start,
crossAxisAlignment: CrossAxisAlignment.start,
children: [
ticket.isClosed ?
ticket.isClosed == true ?
Container(
padding: EdgeInsets.only(right: 10.0),
child: Icon(Icons.lock, color: Colors.green, size: 16.0,),
@@ -321,7 +321,7 @@ class DesktopMySupportState extends State<DesktopMySupport> {
if (tickets == null) {
tickets = [];
}
tickets.addAll((value['tickets'] as List).map((e) => Ticket.fromJson(e)).toList());
tickets!.addAll((value['tickets'] as List).map((e) => Ticket.fromJson(e)).toList());
});
}
}).catchError((error) {