Projektwoche-20/server_pinger
2
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Better border style #23

Merged
Jeremy Kescher merged 1 commit from jeremy/0128/borders into master 2020-01-29 10:52:36 +00:00
Conversation 0 Commits 1 Files changed 1 +7 -14
1 changed files with 7 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
lib/serverlist.dart
View file

@ -354,15 +354,12 @@ class _ServerListState extends State<ServerList> {
}, },
child: Container( child: Container(
width: MediaQuery.of(context).size.width, width: MediaQuery.of(context).size.width,
margin: EdgeInsets.all(2.0), margin: EdgeInsets.fromLTRB(0, 0, 0, 2),
padding: EdgeInsets.all(10.0), padding: EdgeInsets.all(10.0),
decoration: BoxDecoration( decoration: BoxDecoration(
color: Colors.white70, color: Colors.white70,
border: Border.all( border:
color: Colors.grey, Border(bottom: BorderSide(color: Colors.grey, width: 2))),
width: 1,
),
),
child: info), child: info),
); );
}); });
@ -370,15 +367,11 @@ class _ServerListState extends State<ServerList> {
Container( Container(
height: 75, height: 75,
width: MediaQuery.of(context).size.width, width: MediaQuery.of(context).size.width,
margin: EdgeInsets.all(2.0), margin: EdgeInsets.fromLTRB(0, 0, 0, 2),
padding: EdgeInsets.all(10.0), padding: EdgeInsets.all(10.0),
decoration: BoxDecoration( decoration: BoxDecoration(
color: Colors.white70, color: Colors.white70,
border: Border.all( border: Border(bottom: BorderSide(color: Colors.grey, width: 2))),
color: Colors.grey,
width: 1,
),
),
child: IconButton( child: IconButton(
icon: Icon( icon: Icon(
Icons.add, Icons.add,