Commit graph

10 commits

Author SHA1 Message Date
Timothée Alby
420aa4a657 Merge pull request #3232 from overleaf/ta-file-tree-react
React File Tree

GitOrigin-RevId: fb3141ba8cd9ca0d68e87edb74764a360144c8fe
2020-11-27 03:05:05 +00:00
Simon Detheridge
d405ff6a74 Merge pull request #3362 from overleaf/jel-update-green-type
Darken green type to improve color contrast

GitOrigin-RevId: f4a393da54230a9fc85bba1fbe2192c6412b2c3f
2020-11-08 03:04:28 +00:00
Jakob Ackermann
c6a853c7ed Merge pull request #3332 from overleaf/pr-new-log-entries-ui
New log entries ui

GitOrigin-RevId: a13ccac04197e7c8f3777750b956d550c95c8f0d
2020-11-06 03:04:59 +00:00
Paulo Reis
876c292d22 Add compile status indicator to new React-based errors UI.
GitOrigin-RevId: 545953e156d589a56ffd038bb7a40bba97770d06
2020-10-16 02:04:45 +00:00
Timothée Alby
7fc0f88996 Merge pull request #3111 from overleaf/pr-file-outline-out-of-beta
File outline out of beta

GitOrigin-RevId: 64fa6554813b1d0ceff2b567922651509badecc7
2020-08-19 02:06:20 +00:00
Paulo Jorge Reis
414f7397fa Merge pull request #3073 from overleaf/pr-highlight-styling-and-beta
New highlight styling + highlight in beta

GitOrigin-RevId: e5d308bd725b4a1cfc4f0e564af05663ac4188dc
2020-08-10 15:55:37 +00:00
Paulo Jorge Reis
0e9771ac09 Merge pull request #3007 from overleaf/pr-file-outline-extras
File outline extras

GitOrigin-RevId: c35c4f35dce280c9f44c02b567df9734943d0cb0
2020-07-17 02:06:42 +00:00
Miguel Serrano
25ac89d8b0 Merge pull request #2758 from overleaf/sk-as-spd-remove-sl-css
Remove SL only styling variables

GitOrigin-RevId: 6673da6a0d6a9c0bd8f55fc4acbaf42d3e5cb7dd
2020-05-07 03:28:07 +00:00
nate stemen
2d9b089e16 Merge pull request #2401 from overleaf/cmg-ns-pretty-less
Fix inconsistent use of tabs and spaces in less files

GitOrigin-RevId: c69667f0dc6bc70ea3623890e2b2b741e358d454
2019-12-06 04:19:26 +00:00
Alasdair Smith
26190da566 Merge pull request #2349 from overleaf/as-webpack-css
Compile CSS using webpack

GitOrigin-RevId: 489834038667dde572ea5d9b4b9392b362259a09
2019-11-28 10:39:09 +00:00
Renamed from services/web/public/stylesheets/core/variables.less (Browse further)