anchor.diff:          ),
         );
   }
  +
  +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,
  +        ),
  +      );
  +}
  
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
  