anchor.diff:                  ),
                 ),
                 const SizedBox(width: denseSpacing),
  +              ScriptPopupMenu(scriptRef),
                 PopupMenuButton<ScriptRef>(
                   itemBuilder: _buildScriptMenuFromHistory,
  +                tooltip: 'Select recent script',
                   enabled: scriptsHistory.hasScripts,
                   onSelected: (scriptRef) {
                     widget.controller
  
positive.code: 
  import 'package:flutter/gestures.dart';
  import 'package:flutter/material.dart';
  import 'package:provider/provider.dart';
  import 'package:vm_service/vm_service.dart' hide Stack;
  
  
negative.code:         ),
        );
  }
  
  enum _ScriptPopupMenuOptions { Copy }
  
  class ScriptPopupMenu extends StatelessWidget {
    const ScriptPopupMenu(this._scriptRef);
  
    final ScriptRef _scriptRef;
  
    @override
    Widget build(BuildContext context) =>
        PopupMenuButton<_ScriptPopupMenuOptions>(
          onSelected: (item) {
            if (item == _ScriptPopupMenuOptions.Copy) {
              Clipboard.setData(ClipboardData(text: _scriptRef?.uri));
            }
          },
          itemBuilder: (_) => [
            PopupMenuItem(
              value: _ScriptPopupMenuOptions.Copy,
              child: Row(
                mainAxisAlignment: MainAxisAlignment.spaceAround,
                children: [
                  Text('Copy filename',
                      style: Theme.of(context).regularTextStyle),
                  const Icon(
                    Icons.copy,
                    size: actionsIconSize,
                  ),
                ],
              ),
            ),
          ],
          child: const Icon(
            Icons.more_vert,
            size: actionsIconSize,
          ),
        );
  }
  