Change emoji in About dialog to be a divider (#66409)

This commit is contained in:
Greg Spencer
2020-09-23 20:42:03 -07:00
committed by GitHub
parent 90d83e37a6
commit 4fad739bf6

View File

@@ -18,6 +18,7 @@ import 'card.dart';
import 'constants.dart';
import 'debug.dart';
import 'dialog.dart';
import 'divider.dart';
import 'floating_action_button.dart';
import 'floating_action_button_location.dart';
import 'ink_decoration.dart';
@@ -856,11 +857,8 @@ class _PackageLicensePageState extends State<_PackageLicensePage> {
}
setState(() {
_licenses.add(const Padding(
padding: EdgeInsets.symmetric(vertical: 18.0),
child: Text(
'🍀‬', // That's U+1F340. Could also use U+2766 (❦) if U+1F340 doesn't work everywhere.
textAlign: TextAlign.center,
),
padding: EdgeInsets.all(18.0),
child: Divider(),
));
for (final LicenseParagraph paragraph in paragraphs) {
if (paragraph.indent == LicenseParagraph.centeredIndent) {