Added Performance overlays in developer options

lib/storage/base/settings.dart

@@ -1,6 +1,7 @@
 import 'package:flutter/material.dart';
 import 'package:json_annotation/json_annotation.dart';
 
+import '../devTools/devToolsSettings.dart';
 import '../file/fileSettings.dart';
 import '../fileView/fileViewSettings.dart';
 import '../gradeAverages/gradeAveragesSettings.dart';
@@ -27,6 +28,7 @@ class Settings {
   HolidaysSettings holidaysSettings;
   FileViewSettings fileViewSettings;
   NotificationSettings notificationSettings;
+  DevToolsSettings devToolsSettings;
 
   Settings({
     required this.appTheme,
@@ -38,6 +40,7 @@ class Settings {
     required this.holidaysSettings,
     required this.fileViewSettings,
     required this.notificationSettings,
+    required this.devToolsSettings,
   });
 
   static String _themeToJson(ThemeMode m) => m.name;

lib/storage/base/settings.g.dart

@@ -23,6 +23,8 @@ Settings _$SettingsFromJson(Map<String, dynamic> json) => Settings(
           json['fileViewSettings'] as Map<String, dynamic>),
       notificationSettings: NotificationSettings.fromJson(
           json['notificationSettings'] as Map<String, dynamic>),
+      devToolsSettings: DevToolsSettings.fromJson(
+          json['devToolsSettings'] as Map<String, dynamic>),
     );
 
 Map<String, dynamic> _$SettingsToJson(Settings instance) => <String, dynamic>{
@@ -35,4 +37,5 @@ Map<String, dynamic> _$SettingsToJson(Settings instance) => <String, dynamic>{
       'holidaysSettings': instance.holidaysSettings.toJson(),
       'fileViewSettings': instance.fileViewSettings.toJson(),
       'notificationSettings': instance.notificationSettings.toJson(),
+      'devToolsSettings': instance.devToolsSettings.toJson(),
     };