Fixes foss42#644

Author: animator

lib/widgets/previewer_json.dart

@@ -179,24 +179,83 @@ class _JsonPreviewerState extends State<JsonPreviewer> {
                   Row(
                     mainAxisAlignment: MainAxisAlignment.end,
                     children: [
+                      Expanded(
+                        child: Container(
+                          decoration: BoxDecoration(
+                            color: Theme.of(context).colorScheme.surface,
+                            border: Border.all(
+                                color: Theme.of(context)
+                                    .colorScheme
+                                    .surfaceContainerHighest),
+                            borderRadius: kBorderRadius8,
+                          ),
+                          child: Row(
+                            children: [
+                              const Padding(
+                                padding: kPh4,
+                                child: Icon(
+                                  Icons.search,
+                                  size: 16,
+                                ),
+                              ),
+                              Expanded(
+                                child: JsonSearchField(
+                                  controller: searchController,
+                                  onChanged: (term) => state.search(term),
+                                ),
+                              ),
+                              const SizedBox(
+                                width: 8,
+                              ),
+                              if (state.searchResults.isNotEmpty)
+                                Text(_searchFocusText(),
+                                    style:
+                                        Theme.of(context).textTheme.bodySmall),
+                              if (state.searchResults.isNotEmpty)
+                                IconButton(
+                                  visualDensity: VisualDensity.compact,
+                                  onPressed: () {
+                                    store.focusPreviousSearchResult();
+                                    _scrollToSearchMatch();
+                                  },
+                                  icon: const Icon(Icons.arrow_drop_up),
+                                ),
+                              if (state.searchResults.isNotEmpty)
+                                IconButton(
+                                  visualDensity: VisualDensity.compact,
+                                  onPressed: () {
+                                    store.focusNextSearchResult();
+                                    _scrollToSearchMatch();
+                                  },
+                                  icon: const Icon(Icons.arrow_drop_down),
+                                ),
+                            ],
+                          ),
+                        ),
+                      ),
                       ADTextButton(
                         icon: Icons.unfold_more,
-                        showLabel: constraints.minWidth > kMinWindowSize.width,
+                        showLabel:
+                            (constraints.minWidth > kMinWindowSize.width) &&
+                                !kIsMobile,
                         label: 'Expand All',
                         labelTextStyle: kTextStyleButtonSmall,
                         onPressed:
                             state.areAllExpanded() ? null : state.expandAll,
                       ),
                       ADTextButton(
                         icon: Icons.unfold_less,
-                        showLabel: constraints.minWidth > kMinWindowSize.width,
+                        showLabel:
+                            (constraints.minWidth > kMinWindowSize.width) &&
+                                !kIsMobile,
                         label: 'Collapse All',
                         labelTextStyle: kTextStyleButtonSmall,
                         onPressed:
                             state.areAllCollapsed() ? null : state.collapseAll,
                       ),
                     ],
                   ),
+                  kVSpacer6,
                   Expanded(
                     child: JsonExplorer(
                       nodes: state.displayNodes,