[6295] Make it possible to hide the minimap by default#6305

frouene merged 1 commit intofba/doc/minimapShapeclipse-sirius/sirius-web:fba/doc/minimapShapfrom

fba/enh/minimapeclipse-sirius/sirius-web:fba/enh/minimapCopy head branch name to clipboard