{"filter":false,"title":"hello-world.html","tooltip":"/hello-world.html","undoManager":{"mark":-1,"position":-1,"stack":[]},"ace":{"folds":[],"scrolltop":0,"scrollleft":0,"selection":{"start":{"row":0,"column":0},"end":{"row":0,"column":0},"isBackwards":false},"options":{"guessTabSize":true,"useWrapMode":false,"wrapToView":true},"firstLineState":0},"timestamp":1512997333577,"hash":"b3ffd09760952ae9c4312f28e5e7273bf420d2f0"}