2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-project_id" content=project_id)
|
2022-03-31 07:22:36 -04:00
|
|
|
meta(name="ol-projectName" content=projectName)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-userSettings" data-type="json" content=userSettings)
|
|
|
|
|
meta(name="ol-user" data-type="json" content=user)
|
|
|
|
|
meta(name="ol-learnedWords" data-type="json" content=learnedWords)
|
|
|
|
|
meta(name="ol-anonymous" data-type="boolean" content=anonymous)
|
|
|
|
|
meta(name="ol-brandVariation" data-type="json" content=brandVariation)
|
|
|
|
|
meta(name="ol-anonymousAccessToken" content=anonymousAccessToken)
|
|
|
|
|
meta(name="ol-isTokenMember" data-type="boolean" content=isTokenMember)
|
|
|
|
|
meta(name="ol-isRestrictedTokenMember" data-type="boolean" content=isRestrictedTokenMember)
|
|
|
|
|
meta(name="ol-maxDocLength" data-type="json" content=maxDocLength)
|
2023-06-27 07:38:30 -04:00
|
|
|
meta(name="ol-wikiEnabled" data-type="boolean" content=settings.proxyLearn)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-gitBridgePublicBaseUrl" content=gitBridgePublicBaseUrl)
|
2023-01-17 10:23:51 -05:00
|
|
|
meta(name="ol-compilesUserContentDomain" content=settings.compilesUserContentDomain)
|
|
|
|
|
meta(name="ol-fallbackCompileDomain" content=settings.pdfDownloadDomain)
|
2022-03-03 11:28:03 -05:00
|
|
|
//- Set base path for Ace scripts loaded on demand/workers and don't use cdn
|
|
|
|
|
meta(name="ol-aceBasePath" content="/js/" + lib('ace'))
|
|
|
|
|
//- enable doc hash checking for all projects
|
|
|
|
|
//- used in public/js/libs/sharejs.js
|
|
|
|
|
meta(name="ol-useShareJsHash" data-type="boolean" content=true)
|
|
|
|
|
meta(name="ol-wsRetryHandshake" data-type="json" content=settings.wsRetryHandshake)
|
2022-03-18 06:27:29 -04:00
|
|
|
meta(name="ol-pdfjsVariant" content=pdfjsVariant)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-debugPdfDetach" data-type="boolean" content=debugPdfDetach)
|
2023-01-24 09:24:59 -05:00
|
|
|
meta(name="ol-showLegacySourceEditor", data-type="boolean" content=showLegacySourceEditor)
|
2023-06-30 05:46:46 -04:00
|
|
|
meta(name="ol-showSourceToolbar", data-type="boolean" content=showSourceToolbar)
|
2022-03-11 05:02:03 -05:00
|
|
|
meta(name="ol-showSymbolPalette" data-type="boolean" content=showSymbolPalette)
|
2023-07-07 02:34:44 -04:00
|
|
|
meta(name="ol-symbolPaletteAvailable" data-type="boolean" content=symbolPaletteAvailable)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-detachRole" data-type="string" content=detachRole)
|
2022-11-14 11:48:06 -05:00
|
|
|
meta(name="ol-allowedImageNames" data-type="json" content=allowedImageNames)
|
|
|
|
|
meta(name="ol-languages" data-type="json" content=languages)
|
|
|
|
|
meta(name="ol-editorThemes" data-type="json" content=editorThemes)
|
|
|
|
|
meta(name="ol-legacyEditorThemes" data-type="json" content=legacyEditorThemes)
|
2022-07-26 10:29:54 -04:00
|
|
|
meta(name="ol-showUpgradePrompt" data-type="boolean" content=showUpgradePrompt)
|
2022-10-31 10:37:49 -04:00
|
|
|
meta(name="ol-useOpenTelemetry" data-type="boolean" content=useOpenTelemetry)
|
2022-10-24 16:33:13 -04:00
|
|
|
meta(name="ol-showSupport", data-type="boolean" content=showSupport)
|
2023-03-20 09:58:46 -04:00
|
|
|
meta(name="ol-showTemplatesServerPro", data-type="boolean" content=showTemplatesServerPro)
|
2022-12-06 09:56:12 -05:00
|
|
|
meta(name="ol-showCM6SwitchAwaySurvey", data-type="boolean" content=showCM6SwitchAwaySurvey)
|
2023-05-08 03:58:00 -04:00
|
|
|
meta(name="ol-showPersonalAccessToken", data-type="boolean" content=showPersonalAccessToken)
|
2023-06-06 09:00:54 -04:00
|
|
|
meta(name="ol-isReviewPanelReact", data-type="boolean" content=isReviewPanelReact)
|
2023-07-12 09:52:29 -04:00
|
|
|
meta(name="ol-hasTrackChangesFeature", data-type="boolean" content=hasTrackChangesFeature)
|
2023-08-15 05:53:00 -04:00
|
|
|
meta(name="ol-mathJax3Path" content=mathJax3Path)
|
2023-08-29 15:04:45 -04:00
|
|
|
meta(name="ol-completedTutorials", data-type="json" content=user.completedTutorials)
|
2023-09-28 06:12:18 -04:00
|
|
|
meta(name="ol-projectTags" data-type="json" content=projectTags)
|
2023-10-02 05:35:02 -04:00
|
|
|
meta(name="ol-idePageReact", data-type="boolean" content=idePageReact)
|
2022-03-03 11:28:03 -05:00
|
|
|
|
|
|
|
|
- var fileActionI18n = ['edited', 'renamed', 'created', 'deleted'].reduce((acc, i) => {acc[i] = translate('file_action_' + i); return acc}, {})
|
|
|
|
|
meta(name="ol-fileActionI18n" data-type="json" content=fileActionI18n)
|
|
|
|
|
|
|
|
|
|
if (settings.overleaf != null)
|
|
|
|
|
meta(name="ol-overallThemes" data-type="json" content=overallThemes)
|
