50 行
2.0 KiB
HTML
50 行
2.0 KiB
HTML
<!DOCTYPE html>
|
|
<html
|
|
xmlns:th="https://www.thymeleaf.org"
|
|
data-color-scheme="dark"
|
|
th:lang="${#locale.toLanguageTag}"
|
|
th:fragment="html (title, pageType, terminalUserName, content)"
|
|
>
|
|
<head>
|
|
<meta charset="UTF-8" />
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
<link rel="icon" type="image/x-icon" th:href="${theme.config.basic.favicon}" />
|
|
<title th:text="${title}"></title>
|
|
<link rel="manifest" th:href="@{/assets/dist/manifest.json}" />
|
|
<link
|
|
rel="stylesheet"
|
|
th:href="@{/assets/dist/main.css?version={version}&build=devcm-ide-1.2.9-scroll5(version=${theme.spec.version})}"
|
|
href="./assets/dist/style.css"
|
|
/>
|
|
</head>
|
|
<body
|
|
class="main devcm-body"
|
|
th:classappend="${theme.config.basic.pixel_style == true or theme.config.basic.pixel_style == 'true'} ? ' pixel_style' : ''"
|
|
th:with="currentPageType=${#strings.isEmpty(pageType) ? 'home' : pageType},
|
|
terminalUser=${#strings.isEmpty(terminalUserName) ? 'admin' : terminalUserName}"
|
|
>
|
|
<div class="devcm-shell" th:classappend="| devcm-shell--${currentPageType}|">
|
|
<div class="devcm-app">
|
|
<th:block th:replace="~{modules/header :: header(pageType=${currentPageType})}" />
|
|
|
|
<div class="devcm-workspace">
|
|
<th:block th:replace="~{modules/activity-bar :: activity-bar(pageType=${currentPageType})}" />
|
|
<th:block th:replace="~{modules/explorer :: explorer(pageType=${currentPageType})}" />
|
|
|
|
<main class="devcm-editor" id="main-content">
|
|
<th:block th:replace="${content}" />
|
|
</main>
|
|
|
|
<th:block th:replace="~{modules/right-panel :: right-panel(pageType=${currentPageType})}" />
|
|
</div>
|
|
|
|
<th:block th:replace="~{modules/statusbar :: statusbar(pageType=${currentPageType})}" />
|
|
</div>
|
|
</div>
|
|
<script
|
|
th:src="@{/assets/dist/main.js?version={version}&build=devcm-ide-1.2.9-scroll5(version=${theme.spec.version})}"
|
|
></script>
|
|
</body>
|
|
</html>
|