wip: history details pane

2025-06-19 21:39:14 +08:00 · 2024-07-19 18:11:37 +05:30
parent d5feb0b091
commit cad6c97f89
17 changed files with 275 additions and 136 deletions
--- a/lib/screens/envvar/environment_editor.dart
+++ b/lib/screens/envvar/environment_editor.dart
@ -70,13 +70,16 @@ class EnvironmentEditor extends ConsumerWidget {
                margin: EdgeInsets.zero,
                color: kColorTransparent,
                surfaceTintColor: kColorTransparent,
-                shape: RoundedRectangleBorder(
-                  side: BorderSide(
-                    color:
-                        Theme.of(context).colorScheme.surfaceContainerHighest,
-                  ),
-                  borderRadius: kBorderRadius12,
-                ),
+                shape: context.isMediumWindow
+                    ? null
+                    : RoundedRectangleBorder(
+                        side: BorderSide(
+                          color: Theme.of(context)
+                              .colorScheme
+                              .surfaceContainerHighest,
+                        ),
+                        borderRadius: kBorderRadius12,
+                      ),
                elevation: 0,
                child: const Padding(
                  padding: kPv6,