lifegpc/eh_downloader_flutter
1
0
Fork 0
mirror of https://github.com/lifegpc/eh_downloader_flutter.git synced 2026-06-06 05:49:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add support to change title

Browse Source
This commit is contained in:
lifegpc
2023-09-14 17:48:39 +08:00
parent bc435bb567
commit a9f09ffdcd
6 changed files with 44 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
lib/globals.dart
View File

@@ -6,12 +6,15 @@ import 'package:event_listener/event_listener.dart';
import 'package:flutter/foundation.dart';
import 'package:flutter/material.dart';
import 'package:flutter/scheduler.dart';
import 'package:flutter/services.dart'
show ApplicationSwitcherDescription, SystemChrome;
import 'package:flutter_gen/gen_l10n/app_localizations.dart';
import 'package:go_router/go_router.dart';
import 'package:logging/logging.dart';
import 'package:path/path.dart' as path;
import 'package:path_provider/path_provider.dart';
import 'package:shared_preferences/shared_preferences.dart';
import 'package:window_manager/window_manager.dart';
import 'api/client.dart';
import 'auth.dart';
import 'config/base.dart';
@@ -278,3 +281,35 @@ void checkAuth(BuildContext context) {
});
}
}
String? _currentTitle;
String? _prefix;
final _titleLog = Logger("Title");
void setCurrentTitle(String title,
{bool isPrefix = false, bool includePrefix = true, bool usePrefix = false}) {
if (!isPrefix && includePrefix && _prefix != null) {
title = "$_prefix - $title";
}
if (usePrefix && _prefix != null) {
title = _prefix!;
}
if (_currentTitle != null && title == _currentTitle) return;
if (isDesktop) {
windowManager.setTitle(title).then((_) {
_currentTitle = title;
if (isPrefix) _prefix = title;
}).catchError((err) {
_titleLog.warning("Failed to set title:", err);
});
} else {
SystemChrome.setApplicationSwitcherDescription(
ApplicationSwitcherDescription(label: title))
.then((_) {
_currentTitle = title;
if (isPrefix) _prefix = title;
}).catchError((err) {
_titleLog.warning("Failed to set title:", err);
});
}
}