---
title: Fix web ide user preferences copy and buttons
merge_request: 41789
author:
type: other