push fetch devices and connecting the filters

This commit is contained in:
ashrafzarkanisala
2024-08-24 16:37:10 +03:00
parent 0c047de9c1
commit 2597cdc311
68 changed files with 1800 additions and 989 deletions

View File

@ -32,8 +32,8 @@ class TreeWidget extends StatelessWidget {
SizedBox(
width: 100,
child: TextFormField(
decoration:
const InputDecoration(labelText: "Subtree separation"),
decoration: const InputDecoration(
labelText: "Subtree separation"),
onChanged: (text) {
firstNodeName = text;
},
@ -73,9 +73,7 @@ class TreeWidget extends StatelessWidget {
child: GraphView(
graph: state.graph,
algorithm: BuchheimWalkerAlgorithm(
state.builder,
TreeEdgeRenderer(state.builder)
),
state.builder, TreeEdgeRenderer(state.builder)),
paint: Paint()
..color = Colors.green
..strokeWidth = 1
@ -138,7 +136,7 @@ Widget rectangleWidget(String text, Node node, BuildContext blocContext) {
);
},
child: Container(
width: MediaQuery.of(blocContext).size.width*0.2,
width: MediaQuery.of(blocContext).size.width * 0.2,
margin: EdgeInsets.symmetric(vertical: 10.0, horizontal: 20.0),
padding: EdgeInsets.all(20.0),
decoration: BoxDecoration(
@ -163,7 +161,7 @@ Widget rectangleWidget(String text, Node node, BuildContext blocContext) {
),
),
const SizedBox(width: 10.0),
SizedBox(
SizedBox(
child: Text(
text,
style: const TextStyle(