mirror of
https://github.com/yu-i-i/overleaf-cep.git
synced 2026-06-01 21:31:36 +02:00
Implement legacy source editor survey: * Force user to switch to cm6 if they haven't seen switch away survey * Only show user switch away survey if they open ace from another editor * We need to wait 3 seconds until the survey is being shown * Add comment to explain the reasoning of not showing cm6 switch away survey for rich text users * Use localstorage `editor.has_seen_cm6_switch_away_survey` setter to not show the survey if user has seen the survey * the `editor.has_seen_cm6_switch_away_survey` will have the value `true` even if user is not interacting with it, so update comment to reflect that * Add `once: true` option to keydown event to avoid unnecessary callback invocation upon key presses GitOrigin-RevId: c26be2bb39efac2dff112c821fca893e5993dcbf
56 lines
1.4 KiB
Plaintext
56 lines
1.4 KiB
Plaintext
div.full-size(
|
|
ng-show="ui.view == 'editor' || ui.view === 'file'"
|
|
layout="pdf"
|
|
open-east="ui.pdfOpen"
|
|
mask-iframes-on-resize="true"
|
|
resize-on="layout:main:resize"
|
|
resize-proportionally="true"
|
|
initial-size-east="'50%'"
|
|
minimum-restore-size-east="300"
|
|
allow-overflow-on="'center'"
|
|
custom-toggler-pane=hasFeature('custom-togglers') ? "east" : false
|
|
custom-toggler-msg-when-open=hasFeature('custom-togglers') ? translate("tooltip_hide_pdf") : false
|
|
custom-toggler-msg-when-closed=hasFeature('custom-togglers') ? translate("tooltip_show_pdf") : false
|
|
)
|
|
cm6-switch-away-survey()
|
|
|
|
include ./editor-pane
|
|
|
|
.ui-layout-east
|
|
div(ng-if="ui.pdfLayout == 'sideBySide'")
|
|
pdf-preview()
|
|
|
|
.ui-layout-resizer-controls.synctex-controls(
|
|
ng-show="settings.pdfViewer !== 'native'"
|
|
)
|
|
pdf-synctex-controls()
|
|
|
|
div.full-size(
|
|
ng-if="ui.pdfLayout == 'flat'"
|
|
ng-show="ui.view == 'pdf'"
|
|
)
|
|
pdf-preview()
|
|
|
|
// fallback, shown when no file/view is selected
|
|
div.full-size.no-file-selection(
|
|
ng-if="!ui.view"
|
|
)
|
|
.no-file-selection-message(
|
|
ng-if="rootFolder.children && rootFolder.children.length > 0"
|
|
)
|
|
h3
|
|
| #{translate('no_selection_select_file')}
|
|
.no-file-selection-message(
|
|
ng-if="rootFolder.children && rootFolder.children.length === 0"
|
|
)
|
|
h3
|
|
| #{translate('no_selection_create_new_file')}
|
|
div(
|
|
ng-controller="FileTreeController"
|
|
)
|
|
button.btn.btn-primary(
|
|
ng-click="openNewDocModal()"
|
|
)
|
|
| #{translate('new_file')}
|
|
|