{"filter":false,"title":"Options.ts","tooltip":"/src/core/Options.ts","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":1484577877408,"hash":"339f459fb95a10ab94c7358ed024433c28b01d1b"}