bukovinafilip/Atoll
1
0
Fork 0
mirror of https://github.com/FBukovina/Atoll.git synced 2026-10-27 15:14:33 +00:00
Code Issues Projects Releases Packages Wiki Activity

Update: Terminal Fonts

Browse source
This commit is contained in:
Hariharan Mudaliar 2026-03-11 13:29:10 +05:30
commit 44d5ca2573
No known key found for this signature in database
GPG key ID: 025583EB0BE5640E
4 changed files with 134 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

30
DynamicIsland/components/Settings/SettingsView.swift
View file

@ -7295,6 +7295,7 @@ struct TerminalSettings: View {
@ObservedObject var terminalManager = TerminalManager.shared
@Default(.enableTerminalFeature) var enableTerminalFeature
@Default(.terminalShellPath) var terminalShellPath
@Default(.terminalFontFamily) var terminalFontFamily
@Default(.terminalFontSize) var terminalFontSize
@Default(.terminalOpacity) var terminalOpacity
@Default(.terminalMaxHeightFraction) var terminalMaxHeightFraction
@ -7315,6 +7316,21 @@ struct TerminalSettings: View {
"\(Int(terminalMaxHeightFraction * 100))% of screen"
}
/// All monospaced font families available on the system.
private var monospacedFontFamilies: [String] {
NSFontManager.shared.availableFontFamilies.filter { family in
guard let font = NSFont(name: family, size: 12) else { return false }
return font.isFixedPitch
|| font.fontDescriptor.symbolicTraits.contains(.monoSpace)
}
.sorted()
}
/// Display name for the font picker — shows "System Monospaced" when no custom font is set.
private var fontDisplayName: String {
terminalFontFamily.isEmpty ? "System Monospaced" : terminalFontFamily
}
private var cursorStyleBinding: Binding<TerminalCursorStyleOption> {
Binding(
get: { TerminalCursorStyleOption(rawValue: terminalCursorStyle) ?? .blinkBlock },
@ -7365,6 +7381,20 @@ struct TerminalSettings: View {
// MARK: Appearance
Section {
Picker("Font family", selection: $terminalFontFamily) {
Text("System Monospaced").tag("")
Divider()
ForEach(monospacedFontFamilies, id: \.self) { family in
Text(family)
.font(.custom(family, size: 13))
.tag(family)
}
}
.onChange(of: terminalFontFamily) { _, newValue in
terminalManager.applyFontFamily(newValue)
}
.settingsHighlight(id: highlightID("Font family"))
VStack(alignment: .leading, spacing: 8) {
HStack {
Text("Font size")