overleaf/services/web/app/views/project/editor.jade

215 lines
5.6 KiB
Text
Raw Normal View History

2014-02-12 05:23:40 -05:00
extends ../layout
2014-06-21 17:20:37 -04:00
block vars
- var suppressNavbar = true
- var suppressFooter = true
- var suppressDefaultJs = true
2014-06-21 06:56:58 -04:00
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')
2014-06-21 17:20:37 -04:00
script(src=jsPath+'libs/jquery-layout.js')
script(src=jsPath+'libs/jquery.storage.js')
2014-06-21 06:56:58 -04:00
2014-02-12 05:23:40 -05:00
block content
2014-06-21 17:20:37 -04:00
.editor(ng-controller="IdeController")
.loading-screen(ng-show="state.loading")
.container
h3 Loading...
.progress
.progress-bar(ng-style="{'width': state.load_progress + '%'}")
2014-06-24 11:33:36 -04:00
.global-alerts(ng-cloak)
.alert.alert-danger.small(ng-if="connection.forced_disconnect")
strong Disconnected
| Please refresh the page to continue.
.alert.alert-warning.small(ng-if="connection.reconnection_countdown")
strong Lost Connection.
| Reconnecting in {{ connection.reconnection_countdown }} secs.
a.pull-right(href, ng-click="tryReconnectNow()") Try Now
.alert.alert-warning.small(ng-if="connection.reconnecting")
strong Reconnecting...
2014-06-24 15:28:53 -04:00
aside#left-menu(
ng-class="{ 'shown': ui.leftMenuShown }"
ng-cloak
)
h4 Settings
2014-06-24 16:09:20 -04:00
form
.form-controls
label(for="autoComplete") Auto-Complete
input.form-control(
type="checkbox"
name="autoComplete"
ng-model="settings.autoComplete"
)
2014-06-24 15:28:53 -04:00
.form-controls
label(for="theme") Theme
select.form-control(
name="theme"
ng-model="settings.theme"
)
each theme in themes
option(value=theme) #{theme}
2014-06-24 15:46:00 -04:00
.form-controls
label(for="mode") Keybindings
select.form-control(
name="mode"
ng-model="settings.mode"
)
option(value='default') None
option(value='vim') Vim
option(value='emacs') Emacs
.form-controls
label(for="fontSize") Font Size
select.form-control(
name="fontSize"
ng-model="settings.fontSize"
)
each size in ['10','11','12','13','14','16','20','24']
option(value=size) #{size}px
2014-06-24 15:28:53 -04:00
#left-menu-mask(
ng-show="ui.leftMenuShown",
ng-click="ui.leftMenuShown = false"
ng-cloak
)
2014-06-21 17:20:37 -04:00
header.toolbar.toolbar-header(ng-cloak, ng-hide="state.loading")
2014-06-24 15:28:53 -04:00
a.btn.btn-full-height(
href,
ng-click="ui.leftMenuShown = true"
tooltip="Menu",
tooltip-placement="bottom"
)
2014-06-21 17:20:37 -04:00
i.fa.fa-bars
span.name {{ project.name }}
a(href='#', data-toggle="tooltip", title="Rename")
i.fa.fa-pencil
.toolbar-right
a.btn.btn-full-height(href='#', tooltip="Share", tooltip-placement="bottom")
i.fa.fa-group
a.btn.btn-full-height(href='#', tooltip="Recent Changes", tooltip-placement="bottom")
i.fa.fa-history
a.btn.btn-full-height(href='#', tooltip="Chat", tooltip-placement="bottom")
i.fa.fa-comment
2014-06-24 11:33:36 -04:00
#ide-body(ng-cloak, layout="main", ng-hide="state.loading")
2014-06-22 12:32:15 -04:00
include ./editor/file-tree
2014-06-22 15:08:56 -04:00
2014-06-21 17:20:37 -04:00
.ui-layout-center
.loading(ng-show="!editor.sharejs_doc || editor.opening")
i.fa.fa-spin.fa-refresh
| Loading...
2014-06-24 12:15:27 -04:00
#editor(
ace-editor,
ng-show="!!editor.sharejs_doc && !editor.opening"
2014-06-24 15:28:53 -04:00
theme="settings.theme",
2014-06-24 15:46:00 -04:00
keybindings="settings.mode",
font-size="settings.fontSize",
2014-06-24 16:09:20 -04:00
auto-complete="settings.autoComplete",
2014-06-24 12:15:27 -04:00
show-print-margin="false",
sharejs-doc="editor.sharejs_doc",
last-updated="editor.last_updated"
)
2014-06-21 17:20:37 -04:00
//- #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...
2014-02-12 05:23:40 -05:00
2014-06-21 17:20:37 -04:00
//- div#toolbar.sidebar-navigation
//- ul#tabs
//- #toolbar-footer
2014-02-12 05:23:40 -05:00
2014-06-21 17:20:37 -04:00
//- #tab-content.tab-content
2014-02-12 05:23:40 -05:00
2014-06-21 17:20:37 -04:00
//- include ../templates
//- include ../templates/dropbox
2014-02-12 05:23:40 -05:00
script(src='/socket.io/socket.io.js')
2014-06-04 11:28:20 -04:00
script(type='text/javascript').
2014-06-21 17:20:37 -04:00
window.project_id = "!{project_id}"
2014-02-12 05:23:40 -05:00
window.sharelatex = !{sharelatexObject};
window.userSettings = !{userSettingsObject};
window.user = !{userObject};
window.csrfToken = "!{csrfToken}";
window.requirejs = {
"paths" : {
2014-06-24 10:31:44 -04:00
"underscore": "../libs/underscore-1.3.3",
2014-03-07 06:24:11 -05:00
"mathjax": "https://c328740.ssl.cf1.rackcdn.com/mathjax/latest/MathJax.js?config=TeX-AMS_HTML",
2014-06-24 10:31:44 -04:00
"moment": "libs/moment-2.4.0",
"ace": "#{jsPath}ace"
2014-02-12 05:23:40 -05:00
},
"urlArgs" : "fingerprint=#{fingerprint(jsPath + 'ide.js')}",
"waitSeconds": 0,
"shim": {
"libs/backbone": {
2014-06-21 06:56:58 -04:00
deps: ["libs/underscore-1.3.3"]
2014-02-12 05:23:40 -05:00
},
"libs/pdfListView/PdfListView": {
deps: ["libs/pdf"]
},
"libs/pdf": {
deps: ["libs/compatibility"]
}
}
};
2014-06-04 11:28:20 -04:00
script(type='text/javascript').
ga('send', 'event', 'editor-interaction', 'editor-opened')
2014-02-12 05:23:40 -05:00
2014-06-21 17:20:37 -04:00
- locals.suppressDefaultJs = true
2014-02-12 05:23:40 -05:00
- var fingerprintedPath = fingerprint(jsPath+'libs/pdf.worker.js')
- var pdfJsWorkerPath = jsPath+'libs/pdf.worker.js?fingerprint='+fingerprintedPath
2014-06-21 06:56:58 -04:00
script(type='text/javascript').
2014-02-12 05:23:40 -05:00
window.sharelatex.pdfJsWorkerPath = "#{pdfJsWorkerPath}"
script(
2014-06-21 17:20:37 -04:00
data-main=jsPath+'app/ide.js',
2014-02-12 05:23:40 -05:00
baseurl=jsPath,
data-ace-base=jsPath+'ace',
src=jsPath+'libs/require.js?fingerprint='+fingerprint(jsPath + 'libs/require.js')
)
- if (!anonymous)
2014-06-04 11:28:20 -04:00
script(type="text/javascript").
2014-02-12 05:23:40 -05:00
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}"
})
});