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

Better border style #23

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