Add option to download missing stylesheets on startup

2026-06-11 13:17:00 -04:00 · 2026-05-18 23:25:22 +02:00
parent 2f77e8c4c1
commit c531b8aa74
54 changed files with 638 additions and 177 deletions
@@ -152,7 +152,8 @@ public:
  int           old_automatic;
  
  void determineStatus();
-  
+  bool ensureIsDownloaded();
+
  /// After the action, will the package be installed?
  bool willBeInstalled() const;