ui: add rounded option

This commit is contained in:
undefined committed 2024-10-23 22:09:57 +08:00
1 parent 965b18d8a6
commit 90f944cdf8
2 files changed
+12

No files matched your search

+11
View File
@@ -34,6 +34,16 @@ function buildSequence(pages, type) {
}));
}
function rounded() {
if (!UserContext.rounded) return;
const style = document.createElement('style');
style.innerHTML = `
.section { border-radius: 8px; }
.section__table-header { border-radius: 8px 8px 0 0; }
`;
document.head.append(style);
}
async function animate() {
if (UserContext.skipAnimate) return;
const style = document.createElement('style');
@@ -54,6 +64,7 @@ async function animate() {
export async function initPageLoader() {
const pageLoader = new PageLoader();
rounded();
const currentPageName = document.documentElement.getAttribute('data-page');
const currentPage = pageLoader.getNamedPage(currentPageName);
+1
View File
@@ -132,6 +132,7 @@ class RichMediaHandler extends Handler {
export function apply(ctx: Context) {
ctx.inject(['setting'], (c) => {
c.setting.PreferenceSetting(
SettingModel.Setting('setting_display', 'rounded', false, 'boolean', 'Rounded Corners'),
SettingModel.Setting('setting_display', 'skipAnimate', false, 'boolean', 'Skip Animation'),
SettingModel.Setting('setting_display', 'showTimeAgo', true, 'boolean', 'Enable Time Ago'),
);