improved model download support

LM-Kit-Maestro/Services/LLMFileManager.cs

@@ -3,6 +3,7 @@
 using System.Collections.ObjectModel;
 using System.ComponentModel;
 using LMKit.Model;
+using LMKit.Maestro.UI;
 
 namespace LMKit.Maestro.Services;
 
@@ -190,7 +191,11 @@ public void DeleteModel(ModelCard modelCard)
     {
         if (modelCard.IsLocallyAvailable)
         {
-            File.Delete(modelCard.ModelUri.LocalPath);
+            File.Delete(modelCard.LocalPath);
+        }
+        else
+        {
+            throw new Exception(TooltipLabels.ModelFileNotAvailableLocally);
         }
     }
 

LM-Kit-Maestro/UI/Pages/ModelsPage.xaml

@@ -326,8 +326,8 @@
                                 <Label.FormattedText>
                                     <FormattedString>
                                         <Span Text="You have "/>
-                                        <Span Text="{Binding ModelListViewModel.UserModels.Count}" FontAttributes="Bold"/>
-                                        <Span Text=" installed model(s) taking a total of "/>
+                                        <Span Text="{Binding ModelListViewModel.DownloadedCount}" FontAttributes="Bold"/>
+                                        <Span Text=" downloaded model(s) taking a total of "/>
                                         <Span Text="{Binding ModelListViewModel.TotalModelSize, Converter={converters:FileSizeConverter}}" FontAttributes="Bold"/>
                                     </FormattedString>
                                 </Label.FormattedText>

LM-Kit-Maestro/UI/TooltipLabels.cs

@@ -22,5 +22,6 @@ internal static class TooltipLabels
         public const string ContextSize = "Context size";
         public const string SamplingConfiguration = "Sampling configuration";
         public const string SamplingMode = "Sampling mode";
+        public const string ModelFileNotAvailableLocally = "The model file is not available locally";
     }
 }

LM-Kit-Maestro/ViewModels/ModelListViewModel.cs

@@ -20,6 +20,24 @@ public partial class ModelListViewModel : ViewModelBase
 
         private ObservableCollection<ModelInfoViewModel> _userModels = new ObservableCollection<ModelInfoViewModel>();
 
+        public int DownloadedCount
+        {
+            get
+            {
+                int count = 0;
+
+                foreach (var model in _userModels)
+                {
+                    if (model.ModelInfo.IsLocallyAvailable)
+                    {
+                        count++;
+                    }
+                }
+
+                return count;
+            }
+        }
+
         [ObservableProperty]
         long _totalModelSize;
 

LM-Kit-Maestro/ViewModels/Pages/ModelsPageViewModel.cs

@@ -88,7 +88,7 @@ public void DeleteModel(ModelInfoViewModel modelCardViewModel)
         catch (Exception ex)
         {
             _popupService.DisplayAlert("Failure to delete model file",
-                $"The model file could not be deleted:\n {ex.Message}", "OK");
+                $"{ex.Message}", "OK");
         }
     }