1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// Copyright (c) 2021, Compiler Explorer Authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// * Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
// * Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
export function updateAndCalcTopBarHeight(domRoot: JQuery, topBar: JQuery, hideable: JQuery): number {
let topBarHeight = 0;
if (!topBar.hasClass('d-none')) {
hideable.show();
const topBarHeightMax = topBar.outerHeight(true) ?? 0;
hideable.hide();
const topBarHeightMin = topBar.outerHeight(true) ?? 0;
topBarHeight = topBarHeightMin;
if (topBarHeightMin === topBarHeightMax) {
hideable.show();
}
}
return topBarHeight;
}
/**
* Subscribe and unsubscribe the event listener.
*
* @param {JQuery} element
* @param {string} eventName
* @param {(event:JQuery.Event)=>void} callback
* @returns void
*/
export function toggleEventListener(element: JQuery, eventName: string, callback: (event: JQuery.Event) => void): void {
element.on(eventName, (event: JQuery.Event) => {
callback(event);
element.off(eventName);
});
}
export function formatDateTimeWithSpaces(d: Date) {
const t = x => x.slice(-2);
// Hopefully some day we can use the temporal api to make this less of a pain
return (
`${d.getFullYear()} ${t('0' + (d.getMonth() + 1))} ${t('0' + d.getDate())}` +
`${t('0' + d.getHours())} ${t('0' + d.getMinutes())} ${t('0' + d.getSeconds())}`
);
}
export function formatISODate(dt: Date, full = false) {
const month = '' + (dt.getUTCMonth() + 1);
const day = '' + dt.getUTCDate();
const hrs = '' + dt.getUTCHours();
const min = '' + dt.getUTCMinutes();
const today = new Date(Date.now());
if (full || dt.toDateString() === today.toDateString()) {
return (
dt.getUTCFullYear() +
'-' +
month.padStart(2, '0') +
'-' +
day.padStart(2, '0') +
' ' +
hrs.padStart(2, '0') +
':' +
min.padStart(2, '0')
);
} else {
return dt.getUTCFullYear() + '-' + month.padStart(2, '0') + '-' + day.padStart(2, '0');
}
}
|
