anchor.diff:  
   import 'package:flutter/gestures.dart';
   import 'package:flutter/material.dart';
  +import 'package:flutter/services.dart';
   import 'package:provider/provider.dart';
   import 'package:vm_service/vm_service.dart' hide Stack;
   
  
positive.code:                   buttonMinWidth + denseSpacing,
                  ),
                  child: const Icon(
                    Icons.keyboard_arrow_down,
                    size: actionsIconSize,
                  ),
                ),
  
negative.code:                 ),
                ),
                const SizedBox(width: denseSpacing),
                ScriptPopupMenu(scriptRef),
                PopupMenuButton<ScriptRef>(
                  itemBuilder: _buildScriptMenuFromHistory,
                  tooltip: 'Select recent script',
                  enabled: scriptsHistory.hasScripts,
                  onSelected: (scriptRef) {
                    widget.controller
  