Skip to content

Commit eb47614

Browse files
committed
Add promptToCodeCodeFontSize key
1 parent 7991c9d commit eb47614

2 files changed

Lines changed: 8 additions & 0 deletions

File tree

Tool/Sources/Preferences/Keys.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -294,6 +294,10 @@ public extension UserDefaultPreferenceKeys {
294294
var enableSenseScopeByDefaultInPromptToCode: PreferenceKey<Bool> {
295295
.init(defaultValue: false, key: "EnableSenseScopeByDefaultInPromptToCode")
296296
}
297+
298+
var promptToCodeCodeFontSize: PreferenceKey<Double> {
299+
.init(defaultValue: 13, key: "PromptToCodeCodeFontSize")
300+
}
297301
}
298302

299303
// MARK: - Suggestion

Tool/Sources/Preferences/UserDefaults.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,10 @@ public extension UserDefaults {
2525
for: \.suggestionFeatureProvider,
2626
defaultValue: .builtIn(shared.deprecatedValue(for: \.oldSuggestionFeatureProvider))
2727
)
28+
shared.setupDefaultValue(
29+
for: \.promptToCodeCodeFontSize,
30+
defaultValue: shared.value(for: \.suggestionCodeFontSize)
31+
)
2832
}
2933
}
3034

0 commit comments

Comments
 (0)