2023-08-18 20:58:07 +02:00
|
|
|
// Bits and pieces to make the treehouse just a bit more easy to explore.
|
2023-08-18 17:04:12 +02:00
|
|
|
|
|
|
|
|
// We want to let the user have a selection on collapsible blocks without collapsing them when
|
|
|
|
|
// the user finishes marking their selection.
|
|
|
|
|
document.addEventListener("click", event => {
|
|
|
|
|
if (getSelection().type == "Range") {
|
|
|
|
|
event.preventDefault();
|
|
|
|
|
}
|
|
|
|
|
})
|
