---
title: Make the Web IDE the default editor
merge_request:
author:
type: added