extends ../layout block scripts //- Only use the native bootstrap on the editor page, //- since we use the Angular-based bootstrap elsewhere. script(src=jsPath+'libs/bootstrap-3.1.1.js') block content #loadingScreen h3 Loading... p#loadingMessage Loading editor #errorMessages #connectionLostMessage(style="display: none;") | Lost connection. span#trying-reconnect | Reconnecting in span#reconnection-countdown ? | seconds. a(href='#')#try-reconnect-now Try now. span#reconnecting | Reconnecting... #savingProblems(style="display: none") | Saving... div#toolbar.sidebar-navigation ul#tabs #toolbar-footer #tab-content.tab-content include ../templates include ../templates/dropbox script(src='/socket.io/socket.io.js') script(type='text/javascript'). window.sharelatex = !{sharelatexObject}; window.userSettings = !{userSettingsObject}; window.user = !{userObject}; window.csrfToken = "!{csrfToken}"; window.requirejs = { "paths" : { "underscore": "libs/underscore-1.3.3", "mathjax": "https://c328740.ssl.cf1.rackcdn.com/mathjax/latest/MathJax.js?config=TeX-AMS_HTML", "moment": "libs/moment-2.4.0" }, "urlArgs" : "fingerprint=#{fingerprint(jsPath + 'ide.js')}", "waitSeconds": 0, "shim": { "libs/backbone": { deps: ["libs/underscore-1.3.3"] }, "libs/pdfListView/PdfListView": { deps: ["libs/pdf"] }, "libs/pdf": { deps: ["libs/compatibility"] } } }; script(type='text/javascript'). ga('send', 'event', 'editor-interaction', 'editor-opened') - locals.supressDefaultJs = true - var fingerprintedPath = fingerprint(jsPath+'libs/pdf.worker.js') - var pdfJsWorkerPath = jsPath+'libs/pdf.worker.js?fingerprint='+fingerprintedPath script(type='text/javascript'). window.sharelatex.pdfJsWorkerPath = "#{pdfJsWorkerPath}" script( data-main=jsPath+'ide.js', baseurl=jsPath, data-ace-base=jsPath+'ace', src=jsPath+'libs/require.js?fingerprint='+fingerprint(jsPath + 'libs/require.js') ) - if (!anonymous) script(type="text/javascript"). var chatReq = require.config({ context: "chat", baseUrl: "#{chatUrl}/chat" }); chatReq(["require", "chat"], function(require, Chat) { new Chat({ room: { project_id: window.userSettings.project_id }, url: "#{chatUrl}" }) });