Edward Betts
ea4980a5d7
Adjust European short trip heuristic from >3 days to >1 day to correctly detect when user has returned home from European trips. This fixes the April 29-30, 2023 case where the location incorrectly showed "Sankt Georg, Hamburg" instead of "Bristol" when the user was free (no events scheduled) after the foss-north trip ended on April 27. The previous logic required more than 3 days to pass before assuming return home from European countries, but for short European trips by rail/ferry, users typically return within 1-2 days. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
56 lines
1.4 KiB
HTML
56 lines
1.4 KiB
HTML
<html>
|
|
<head>
|
|
</head>
|
|
<body>
|
|
<script>(function(){
|
|
var props = {};
|
|
|
|
function addObject(obj) {
|
|
if (obj == null) return;
|
|
try {
|
|
Object.getOwnPropertyNames(obj).forEach(add);
|
|
} catch(ex) {}
|
|
if (obj.prototype) {
|
|
Object.getOwnPropertyNames(obj.prototype).forEach(add);
|
|
}
|
|
if (typeof obj == "function") {
|
|
try {
|
|
Object.getOwnPropertyNames(new obj).forEach(add);
|
|
} catch(ex) {}
|
|
}
|
|
}
|
|
|
|
function add(name) {
|
|
props[name] = true;
|
|
}
|
|
|
|
Object.getOwnPropertyNames(window).forEach(function(thing){
|
|
addObject(window[thing]);
|
|
});
|
|
|
|
try {
|
|
addObject(new Event("click"));
|
|
addObject(new Event("contextmenu"));
|
|
addObject(new Event("mouseup"));
|
|
addObject(new Event("mousedown"));
|
|
addObject(new Event("keydown"));
|
|
addObject(new Event("keypress"));
|
|
addObject(new Event("keyup"));
|
|
} catch(ex) {}
|
|
|
|
var ta = document.createElement("textarea");
|
|
ta.style.width = "100%";
|
|
ta.style.height = "20em";
|
|
ta.style.boxSizing = "border-box";
|
|
ta.value = 'export var domprops = ' + JSON.stringify(Object.keys(props).sort(cmp), null, 4);
|
|
document.body.appendChild(ta);
|
|
|
|
function cmp(a, b) {
|
|
a = a.toLowerCase();
|
|
b = b.toLowerCase();
|
|
return a < b ? -1 : a > b ? 1 : 0;
|
|
}
|
|
})();</script>
|
|
</body>
|
|
</html>
|