Merge branch 'main' into reduce_logs

This commit is contained in:
Vishnu Mohandas 2024-02-24 16:24:18 +05:30 committed by GitHub
commit 471ee5d95b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -42,14 +42,16 @@ class _LogFileViewerState extends State<LogFileViewer> {
} }
return Container( return Container(
padding: const EdgeInsets.only(left: 12, top: 8, right: 12), padding: const EdgeInsets.only(left: 12, top: 8, right: 12),
child: SingleChildScrollView( child: Scrollbar(
child: Text( child: SingleChildScrollView(
_logs!, child: Text(
style: const TextStyle( _logs!,
fontFeatures: [ style: const TextStyle(
FontFeature.tabularFigures(), fontFeatures: [
], FontFeature.tabularFigures(),
height: 1.2, ],
height: 1.2,
),
), ),
), ),
), ),