Migrates button to restart Web IDE terminal

Marcel van Remmerdenrequested to merge
migrate-restart-terminal-webide into master

What does this MR do and why?

Migrates the button to restart the Web IDE terminal. No visual change, so only posting one screenshot here.

image

MR acceptance checklist

This checklist encourages us to confirm any changes have been analyzed to reduce risks in quality, performance, reliability, security, and maintainability.

Merge request reports