il y a 5 ans · 9edac17964
--- a/lib/theme/terminal_style.dart
+++ b/lib/theme/terminal_style.dart
@@ -1,5 +1,6 @@
 
				 class TerminalStyle {
			
 
				   static const defaultFontFamily = [
			
 
				+    'Monaco',
			
 
				     'Droid Sans Mono',
			
 
				     'Noto Sans Mono',
			
 
				     'Roboto Mono',