From 18a0fe3977175f3f7a945b300524fd2cd37fef28 Mon Sep 17 00:00:00 2001
From: Ariver <shanghai3168@gmail.com>
Date: Sat, 13 Jun 2026 15:15:47 +0800
Subject: [PATCH] Add app grid usage tips
---
src/Apptag/PreferencesView.swift | 10 ++++++++--
1 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/Apptag/PreferencesView.swift b/src/Apptag/PreferencesView.swift
index b103eae..2dea588 100644
--- a/src/Apptag/PreferencesView.swift
+++ b/src/Apptag/PreferencesView.swift
@@ -62,6 +62,7 @@
@AppStorage("showDockIcon") private var showDockIcon = AppDefaults.showDockIcon
@AppStorage("launchAtLogin") private var launchAtLogin = AppDefaults.launchAtLogin
@AppStorage("showUncommonAppBubbles") private var showUncommonAppBubbles = AppDefaults.showUncommonAppBubbles
+ @AppStorage("hideUsageTips") private var hideUsageTips = AppDefaults.hideUsageTips
@AppStorage("mainHotkeyRegistrationState") private var mainHotkeyRegistrationState = LauncherHotkeyRegistrationState.active.rawValue
@AppStorage("quickSearchHotkeyRegistrationState") private var quickSearchHotkeyRegistrationState = LauncherHotkeyRegistrationState.active.rawValue
@State private var selectedLanguage = L10n.selectedLanguageCode
@@ -760,9 +761,12 @@
AppDelegate.refreshChromeSettings()
}
Toggle(tr("settings.hideAppNames"), isOn: $hideAppNames)
+ Toggle(tr("settings.hideUsageTips"), isOn: $hideUsageTips)
+ .help(tr("settings.hideUsageTipsDesc"))
}
.frame(maxWidth: .infinity, alignment: .center)
- .padding(.bottom, 16)
+ .padding(.top, 12)
+ .padding(.bottom, 18)
Divider()
.padding(.bottom, 16)
@@ -825,7 +829,9 @@
}
}
.frame(maxWidth: generalContentWidth, alignment: .center)
- .padding()
+ .padding(.horizontal)
+ .padding(.top, 28)
+ .padding(.bottom)
}
case .hotkeys:
--
Gitblit v1.9.3