Thread:Extension talk:WikiEditor/The text editor is too small