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:         ),
        );
  }
  
negative.code:                   buttonMinWidth + denseSpacing,
                  ),
                  child: const Icon(
                    Icons.history,
                    size: actionsIconSize,
                  ),
                ),
  