Merge 5531a4d18237d4745585814be957c8ab17baaf9e into f157648d1e51878a10e02a8836c1e15aa8c59cc9

This commit is contained in:
MrNerdHair 2022-11-20 05:30:26 +00:00 committed by GitHub
commit 761ed82f6a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -118,7 +118,7 @@ Item{
colorScheme: "cool-retro-term" colorScheme: "cool-retro-term"
smooth: !appSettings.lowResolutionFont smooth: !appSettings.lowResolutionFont
enableBold: false enableBold: true
fullCursorHeight: true fullCursorHeight: true
blinkingCursor: appSettings.blinkingCursor blinkingCursor: appSettings.blinkingCursor