Fix height of db viewer in devtools

This commit is contained in:
Simon Binder 2023-12-02 23:11:59 +01:00
parent a973de343c
commit 09d450e7f5
No known key found for this signature in database
GPG Key ID: 7891917E4147B8C0
2 changed files with 12 additions and 10 deletions

View File

@ -22,9 +22,6 @@ class _DatabaseViewerState extends State<DatabaseViewer> {
@override @override
Widget build(BuildContext context) { Widget build(BuildContext context) {
return ConstrainedBox( return const DbViewerNavigator();
constraints: const BoxConstraints(maxHeight: 800),
child: const DbViewerNavigator(),
);
} }
} }

View File

@ -49,12 +49,17 @@ class _DatabaseDetailsState extends ConsumerState<DatabaseDetails> {
error: (err, stack) => Text('unknown error: $err\n$stack'), error: (err, stack) => Text('unknown error: $err\n$stack'),
data: (database) { data: (database) {
if (database != null) { if (database != null) {
final textTheme = Theme.of(context).textTheme; final theme = Theme.of(context);
final textTheme = theme.textTheme;
return Scrollbar( return Theme(
controller: controller, data: theme.copyWith(
child: ListView( scrollbarTheme: const ScrollbarThemeData(
controller: controller, thumbVisibility: MaterialStatePropertyAll(true),
),
),
child: Column(
crossAxisAlignment: CrossAxisAlignment.stretch,
children: [ children: [
const Padding( const Padding(
padding: EdgeInsets.all(8), padding: EdgeInsets.all(8),
@ -68,7 +73,7 @@ class _DatabaseDetailsState extends ConsumerState<DatabaseDetails> {
], ],
), ),
), ),
DatabaseViewer(database: database), Expanded(child: DatabaseViewer(database: database)),
], ],
), ),
); );