Commit graph

4 commits

Author SHA1 Message Date
James Allen
95f7d3da24 Merge pull request #1118 from sharelatex/as-upgrade-ace-1.2.9
Upgrade to Ace 1.2.9

GitOrigin-RevId: 8700f6decb530a0f0bbaefbe32a83893e8d91a90
2018-11-14 14:30:12 +00:00
Paulo Reis
6913d28abb Editor header styling. 2017-11-13 12:03:28 +00:00
Shane Kilkelly
54de12d908 Fix alignment of inputs in Search-Replace panel. 2015-09-28 14:16:10 +01:00
James Allen
39e4f46bdb Style search and replace box 2014-07-10 17:27:19 +01:00