News for hackers. Stuff that matters.

A comment on GitHub's new text editor leaked on Twitter. Parent comment

Re:GitHub's new text editor leaked on Twitter by arunoda on Wednesday February 26, 2014 @03:54AM (#7303754)
Seems like it has collaborative edit feature as well. Specially the last screenshot.
[ Parent | on HN ]
Re:GitHub's new text editor leaked on Twitter by Uupis on Wednesday February 26, 2014 @03:59AM (#7303765)
My first guess was that those are diff markers as you edit.
[ Parent | on HN ]