fix lint padded-blocks
This commit is contained in:
parent
ea9e32096b
commit
f14d5886f2
|
@ -24,7 +24,6 @@ export default defineComponent({
|
||||||
},
|
},
|
||||||
},
|
},
|
||||||
setup(props, ctx) {
|
setup(props, ctx) {
|
||||||
|
|
||||||
const hpml = new Hpml(props.page, {
|
const hpml = new Hpml(props.page, {
|
||||||
randomSeed: Math.random(),
|
randomSeed: Math.random(),
|
||||||
visitor: $i,
|
visitor: $i,
|
||||||
|
|
|
@ -34,7 +34,6 @@ function calc(src: Element) {
|
||||||
|
|
||||||
export default {
|
export default {
|
||||||
mounted(src, binding, vn) {
|
mounted(src, binding, vn) {
|
||||||
|
|
||||||
const resize = new ResizeObserver((entries, observer) => {
|
const resize = new ResizeObserver((entries, observer) => {
|
||||||
calc(src);
|
calc(src);
|
||||||
});
|
});
|
||||||
|
|
|
@ -21,7 +21,6 @@ export async function genSearchQuery(v: any, q: string) {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
return {
|
return {
|
||||||
query: q.split(' ').filter(x => !x.startsWith('/') && !x.startsWith('@')).join(' '),
|
query: q.split(' ').filter(x => !x.startsWith('/') && !x.startsWith('@')).join(' '),
|
||||||
|
|
|
@ -159,7 +159,6 @@ export class Hpml {
|
||||||
|
|
||||||
@autobind
|
@autobind
|
||||||
private evaluate(expr: Expr, scope: HpmlScope): any {
|
private evaluate(expr: Expr, scope: HpmlScope): any {
|
||||||
|
|
||||||
if (isLiteralValue(expr)) {
|
if (isLiteralValue(expr)) {
|
||||||
if (expr.type === null) {
|
if (expr.type === null) {
|
||||||
return null;
|
return null;
|
||||||
|
|
|
@ -170,7 +170,6 @@ export const funcDefs: Record<string, { in: any[]; out: any; category: string; i
|
||||||
};
|
};
|
||||||
|
|
||||||
export function initHpmlLib(expr: Expr, scope: HpmlScope, randomSeed: string, visitor?: any) {
|
export function initHpmlLib(expr: Expr, scope: HpmlScope, randomSeed: string, visitor?: any) {
|
||||||
|
|
||||||
const date = new Date();
|
const date = new Date();
|
||||||
const day = `${visitor ? visitor.id : ''} ${date.getFullYear()}/${date.getMonth() + 1}/${date.getDate()}`;
|
const day = `${visitor ? visitor.id : ''} ${date.getFullYear()}/${date.getMonth() + 1}/${date.getDate()}`;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue