[Property Editor] Increase label font size (#8827)

packages/devtools_app/lib/src/standalone_ui/ide_shared/property_editor/property_editor_inputs.dart

diff --git a/packages/devtools_app/lib/src/standalone_ui/ide_shared/property_editor/property_editor_inputs.dart b/packages/devtools_app/lib/src/standalone_ui/ide_shared/property_editor/property_editor_inputs.dart
index c04440b..c9dcc6a 100644
--- a/packages/devtools_app/lib/src/standalone_ui/ide_shared/property_editor/property_editor_inputs.dart
+++ b/packages/devtools_app/lib/src/standalone_ui/ide_shared/property_editor/property_editor_inputs.dart
@@ -236,22 +236,27 @@
   }
 
   Widget inputLabel(EditableProperty property, {required ThemeData theme}) {
+    // Flutter scales down the label font size by 75%, therefore we need to
+    // increase the size to make it glegible.
+    final fixedFontStyle = theme.fixedFontStyle.copyWith(
+      fontSize: defaultFontSize + 1,
+    );
     return RichText(
       overflow: TextOverflow.ellipsis,
       text: TextSpan(
         text: '${property.displayType} ',
-        style: theme.fixedFontStyle,
+        style: fixedFontStyle,
         children: [
           TextSpan(
             text: property.name,
-            style: theme.fixedFontStyle.copyWith(
+            style: fixedFontStyle.copyWith(
               fontWeight: FontWeight.bold,
               color: theme.colorScheme.primary,
             ),
             children: [
               TextSpan(
                 text: property.isRequired ? '*' : '',
-                style: theme.fixedFontStyle,
+                style: fixedFontStyle,
               ),
             ],
           ),