Thread:Extension talk:VisualEditor/How to set the VisualEditor bar size ?