Thread:Extension talk:CodeEditor/Box width and syntax highlight locations/reply