@@ -37,7 +37,7 @@ import 'status_line.dart';
3737class DevToolsScaffold extends StatefulWidget {
3838 const DevToolsScaffold ({
3939 Key ? key,
40- required this .tabs ,
40+ required this .screens ,
4141 this .page,
4242 this .actions,
4343 this .embed = false ,
@@ -51,7 +51,7 @@ class DevToolsScaffold extends StatefulWidget {
5151 List <Widget >? actions,
5252 }) : this (
5353 key: key,
54- tabs : [SimpleScreen (child)],
54+ screens : [SimpleScreen (child)],
5555 ideTheme: ideTheme,
5656 actions: actions,
5757 );
@@ -77,7 +77,7 @@ class DevToolsScaffold extends StatefulWidget {
7777 EdgeInsets .symmetric (horizontal: isEmbedded () ? 2.0 : 16.0 );
7878
7979 /// All of the [Screen] s that it's possible to navigate to from this Scaffold.
80- final List <Screen > tabs ;
80+ final List <Screen > screens ;
8181
8282 /// The page being rendered.
8383 final String ? page;
@@ -134,22 +134,23 @@ class DevToolsScaffoldState extends State<DevToolsScaffold>
134134 void didUpdateWidget (DevToolsScaffold oldWidget) {
135135 super .didUpdateWidget (oldWidget);
136136
137- if (widget.tabs .length != oldWidget.tabs .length) {
137+ if (widget.screens .length != oldWidget.screens .length) {
138138 var newIndex = 0 ;
139139 // Stay on the current tab if possible when the collection of tabs changes.
140140 if (_tabController != null &&
141- widget.tabs.contains (oldWidget.tabs[_tabController! .index])) {
142- newIndex = widget.tabs.indexOf (oldWidget.tabs[_tabController! .index]);
141+ widget.screens.contains (oldWidget.screens[_tabController! .index])) {
142+ newIndex =
143+ widget.screens.indexOf (oldWidget.screens[_tabController! .index]);
143144 }
144145 // Create a new tab controller to reflect the changed tabs.
145146 _setupTabController ();
146147 _tabController! .index = newIndex;
147- } else if (widget.tabs [_tabController! .index].screenId != widget.page) {
148+ } else if (widget.screens [_tabController! .index].screenId != widget.page) {
148149 // If the page changed (eg. the route was modified by pressing back in the
149150 // browser), animate to the new one.
150151 final newIndex = widget.page == null
151152 ? 0 // When there's no supplied page, we show the first one.
152- : widget.tabs .indexWhere ((t) => t.screenId == widget.page);
153+ : widget.screens .indexWhere ((t) => t.screenId == widget.page);
153154 _tabController! .animateTo (newIndex);
154155 }
155156 }
@@ -183,19 +184,19 @@ class DevToolsScaffoldState extends State<DevToolsScaffold>
183184
184185 void _setupTabController () {
185186 _tabController? .dispose ();
186- _tabController = TabController (length: widget.tabs .length, vsync: this );
187+ _tabController = TabController (length: widget.screens .length, vsync: this );
187188
188189 if (widget.page != null ) {
189190 final initialIndex =
190- widget.tabs .indexWhere ((screen) => screen.screenId == widget.page);
191+ widget.screens .indexWhere ((screen) => screen.screenId == widget.page);
191192 if (initialIndex != - 1 ) {
192193 _tabController! .index = initialIndex;
193194 }
194195 }
195196
196- _currentScreen = widget.tabs [_tabController! .index];
197+ _currentScreen = widget.screens [_tabController! .index];
197198 _tabController! .addListener (() {
198- final screen = widget.tabs [_tabController! .index];
199+ final screen = widget.screens [_tabController! .index];
199200
200201 if (_currentScreen != screen) {
201202 setState (() {
@@ -246,7 +247,7 @@ class DevToolsScaffoldState extends State<DevToolsScaffold>
246247 final existingTabIndex = _tabController! .index;
247248
248249 final newIndex =
249- widget.tabs .indexWhere ((screen) => screen.screenId == pageId);
250+ widget.screens .indexWhere ((screen) => screen.screenId == pageId);
250251
251252 if (newIndex != - 1 && newIndex != existingTabIndex) {
252253 DevToolsRouterDelegate .of (context).navigateIfNotCurrent (pageId);
@@ -278,7 +279,7 @@ class DevToolsScaffoldState extends State<DevToolsScaffold>
278279 Widget build (BuildContext context) {
279280 // Build the screens for each tab and wrap them in the appropriate styling.
280281 final tabBodies = [
281- for (var screen in widget.tabs )
282+ for (var screen in widget.screens )
282283 Container (
283284 // TODO(kenz): this padding creates a flash when dragging and dropping
284285 // into the app size screen because it creates space that is outside
@@ -380,17 +381,17 @@ class DevToolsScaffoldState extends State<DevToolsScaffold>
380381
381382 // Add a leading [BulletSpacer] to the actions if the screen is not narrow.
382383 final actions = List <Widget >.from (widget.actions ?? []);
383- if (! isNarrow && actions.isNotEmpty && widget.tabs .length > 1 ) {
384+ if (! isNarrow && actions.isNotEmpty && widget.screens .length > 1 ) {
384385 actions.insert (0 , const BulletSpacer (useAccentColor: true ));
385386 }
386387
387- final bool hasMultipleTabs = widget.tabs .length > 1 ;
388+ final bool hasMultipleTabs = widget.screens .length > 1 ;
388389
389390 if (hasMultipleTabs) {
390391 tabBar = TabBar (
391392 controller: _tabController,
392393 isScrollable: true ,
393- tabs: [for (var screen in widget.tabs ) screen.buildTab (context)],
394+ tabs: [for (var screen in widget.screens ) screen.buildTab (context)],
394395 );
395396 preferredSize = isNarrow
396397 ? Size .fromHeight (
@@ -461,7 +462,7 @@ class DevToolsScaffoldState extends State<DevToolsScaffold>
461462 // Approximate size of the title. Add [defaultSpacing] to account for
462463 // title's leading padding.
463464 double wideWidth = painter.width + defaultSpacing;
464- for (var tab in widget.tabs ) {
465+ for (var tab in widget.screens ) {
465466 wideWidth += tab.approximateWidth (textTheme);
466467 }
467468 final actionsLength = widget.actions? .length ?? 0 ;
0 commit comments