Format

twangodev · Jul 24, 2024 · 508721a · 508721a
1 parent a37578c
commit 508721a
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/lib/widgets/editor/editor.dart b/lib/widgets/editor/editor.dart
@@ -158,7 +158,8 @@ class _EditorState extends State<Editor> {
                                           toggleGrid: gridToggleState,
                                           editingTool: activeEditingTool,
                                         ),
-                                        size: Size(constraints.maxWidth, constraints.maxHeight),
+                                        size: Size(constraints.maxWidth,
+                                            constraints.maxHeight),
                                       );
                                     });
                               })));

diff --git a/lib/widgets/editor/editor_painter.dart b/lib/widgets/editor/editor_painter.dart
@@ -310,7 +310,7 @@ class EditorPainter extends CustomPainter {
         text: text,
         style: TextStyle(
           color: Colors.grey.shade500,
-          fontSize: 12 ,
+          fontSize: 12,
         ),
       ),
       textDirection: TextDirection.ltr,

diff --git a/lib/widgets/editor/editor_painter_data.dart b/lib/widgets/editor/editor_painter_data.dart
@@ -22,7 +22,8 @@ class EditorData extends ChangeNotifier {
   double get scale => _scale;
   set scale(double value) {
     if (value == _scale) return;
-    logger.finest('Scaling update: $value, inverse: ${1 / value}, old: $_scale, ratio: ${value / _scale}');
+    logger.finest(
+        'Scaling update: $value, inverse: ${1 / value}, old: $_scale, ratio: ${value / _scale}');
     _scale = value;
     notifyListeners();
   }