From 0b29b288ed844e4f1417697f597ad8a33a4c62f8 Mon Sep 17 00:00:00 2001
From: Nicolas Bonamy <nicolas@bonamy.fr>
Date: Fri, 8 Mar 2024 17:08:35 -0600
Subject: [PATCH] layout fixes

---
 lib/editor/editor.dart | 2 +-
 lib/editor/file.dart   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/editor/editor.dart b/lib/editor/editor.dart
index 36102ce..adfa0ea 100644
--- a/lib/editor/editor.dart
+++ b/lib/editor/editor.dart
@@ -233,7 +233,7 @@ class _TagEditorWidgetState extends State<TagEditorWidget> with MenuHandler {
     // return
     return DraggableDialog(
       width: 500,
-      height: 585,
+      height: 590,
       preferenceKey: 'editor.alignment',
       header: Row(
         children: [
diff --git a/lib/editor/file.dart b/lib/editor/file.dart
index fcf9e5a..3bb21f0 100644
--- a/lib/editor/file.dart
+++ b/lib/editor/file.dart
@@ -84,7 +84,7 @@ class EditorFileWidget extends StatelessWidget {
     bool tabularFigures = false,
   }) {
     return Padding(
-      padding: const EdgeInsets.symmetric(vertical: 4),
+      padding: const EdgeInsets.symmetric(vertical: 2),
       child: Flex(
         direction: Axis.horizontal,
         crossAxisAlignment: CrossAxisAlignment.start,
@@ -108,7 +108,7 @@ class EditorFileWidget extends StatelessWidget {
 
   Widget _label(String label, double paddingTop) {
     return SizedBox(
-      width: 130,
+      width: 120,
       child: Padding(
         padding: EdgeInsets.only(top: paddingTop, right: 8),
         child: Text(