Reformat code

app/Desktop/Main/MainWindowModel.cs

@@ -15,47 +15,47 @@ namespace DHT.Desktop.Main;
 
 sealed partial class MainWindowModel : ObservableObject, IAsyncDisposable {
 	private const string DefaultTitle = "Discord History Tracker";
-
+	
 	private static readonly Log Log = Log.ForType<MainWindowModel>();
-
+	
 	[ObservableProperty(Setter = Access.Private)]
 	private string title = DefaultTitle;
-
+	
 	[ObservableProperty(Setter = Access.Private)]
 	private UserControl currentScreen;
-
+	
 	private readonly WelcomeScreen welcomeScreen;
 	private readonly WelcomeScreenModel welcomeScreenModel;
-
+	
 	private MainContentScreenModel? mainContentScreenModel;
-
+	
 	private readonly Window window;
 	private readonly int? concurrentDownloads;
-
+	
 	private State? state;
-
+	
 	[Obsolete("Designer")]
 	public MainWindowModel() : this(null!, Arguments.Empty) {}
-
+	
 	public MainWindowModel(Window window, Arguments args) {
 		this.window = window;
-
+		
 		welcomeScreenModel = new WelcomeScreenModel(window);
 		welcomeScreenModel.DatabaseSelected += OnDatabaseSelected;
-
+		
 		welcomeScreen = new WelcomeScreen { DataContext = welcomeScreenModel };
 		currentScreen = welcomeScreen;
-
-		var dbFile = args.DatabaseFile;
+		
+		string? dbFile = args.DatabaseFile;
 		if (!string.IsNullOrWhiteSpace(dbFile)) {
 			async void OnWindowOpened(object? o, EventArgs eventArgs) {
 				window.Opened -= OnWindowOpened;
-
+				
 				// https://github.com/AvaloniaUI/Avalonia/issues/3071
 				if (!RuntimeInformation.IsOSPlatform(OSPlatform.Windows)) {
 					await Task.Delay(500);
 				}
-
+				
 				if (File.Exists(dbFile)) {
 					await welcomeScreenModel.OpenOrCreateDatabaseFromPath(dbFile);
 				}
@@ -63,35 +63,35 @@ sealed partial class MainWindowModel : ObservableObject, IAsyncDisposable {
 					await Dialog.ShowOk(window, "Database Error", "Database file not found:\n" + dbFile);
 				}
 			}
-
+			
 			window.Opened += OnWindowOpened;
 		}
-
+		
 		if (args.ServerPort != null) {
 			ServerConfiguration.Port = args.ServerPort.Value;
 		}
-
+		
 		if (args.ServerToken != null) {
 			ServerConfiguration.Token = args.ServerToken;
 		}
 		
 		concurrentDownloads = args.ConcurrentDownloads;
 	}
-
+	
 	private async void OnDatabaseSelected(object? sender, IDatabaseFile db) {
 		welcomeScreenModel.DatabaseSelected -= OnDatabaseSelected;
 		
 		await DisposeState();
 		
 		state = new State(db, concurrentDownloads);
-
+		
 		try {
 			await state.Server.Start(ServerConfiguration.Port, ServerConfiguration.Token);
 		} catch (Exception ex) {
 			Log.Error(ex);
 			await Dialog.ShowOk(window, "Internal Server Error", ex.Message);
 		}
-
+		
 		mainContentScreenModel = new MainContentScreenModel(window, state);
 		mainContentScreenModel.DatabaseClosed += MainContentScreenModelOnDatabaseClosed;
 		
@@ -99,32 +99,32 @@ sealed partial class MainWindowModel : ObservableObject, IAsyncDisposable {
 		
 		Title = Path.GetFileName(state.Db.Path) + " - " + DefaultTitle;
 		CurrentScreen = new MainContentScreen { DataContext = mainContentScreenModel };
-
+		
 		window.Focus();
 	}
-
+	
 	private async void MainContentScreenModelOnDatabaseClosed(object? sender, EventArgs e) {
 		if (mainContentScreenModel != null) {
 			mainContentScreenModel.DatabaseClosed -= MainContentScreenModelOnDatabaseClosed;
 			await mainContentScreenModel.DisposeAsync();
 			mainContentScreenModel = null;
 		}
-
+		
 		await DisposeState();
-
+		
 		Title = DefaultTitle;
 		CurrentScreen = welcomeScreen;
-
+		
 		welcomeScreenModel.DatabaseSelected += OnDatabaseSelected;
 	}
-
+	
 	private async Task DisposeState() {
 		if (state != null) {
 			await state.DisposeAsync();
 			state = null;
 		}
 	}
-
+	
 	public async ValueTask DisposeAsync() {
 		if (mainContentScreenModel != null) {
 			await mainContentScreenModel.DisposeAsync();