HAL-311: AceEditor: disable vertical scrollbar; rename placeholder in search box 'Search for' -> 'Find'